2、基于不可信硬件令牌的安全集合交集协议解析

基于不可信硬件令牌的安全集合交集协议解析

1. 硬件令牌在安全协议中的应用概述

在安全计算领域，硬件令牌有着广泛的应用。双方都信任的有限能力硬件令牌，被用于构建更高效的可验证加密、公平交换协议以及安全函数评估协议。政府颁发的签名卡也被提议作为通用组合（UC）的设置假设。半诚实的防篡改硬件令牌可以作为非交互式不经意传输和非交互式安全双方计算（即一次性程序）的基础。不过，本文所涉及的令牌不需要双方都信任。

仅发行者信任的硬件令牌也有其应用场景，它们被用作构建UC承诺和信息论一次性程序的设置假设。这些协议使用硬件令牌主要是为了克服已知的不可能结果，但并不声称能产生适用于实际应用的高效协议。为了提高实际双方安全函数评估协议的性能，可以使用仅由发行者信任的硬件令牌来高效生成混淆电路，还提出了针对隐蔽对手具有安全性的真正高效不经意传输协议。

2. 预备知识

• 对称方案的安全参数 ：用 (t) 表示对称方案的安全参数。
• 伪随机置换（PRP） ：算法 (F) 以密钥 (k \in {0, 1}^t) 为输入，描述了在 (D = {0, 1}^t) 上的一个“看起来随机”的置换 (F_k(\cdot))。
• 伪随机函数（PRF） ：如果去掉 (F) 是置换的要求，就得到了伪随机函数。
• 强伪随机置换（SPRP） ：如果在可以访问置换及其逆的情况下，很难将置换 (F_k) 与随机置换区分开来，那么 (F) 被称为强伪随机置换。例如，高级加密标准（A