23、高效的命名数据非对称索引封装方案

高效的命名数据非对称索引封装方案

1. 剩余哈希引理

• 通用哈希函数定义 ：函数集合 $H$ ，其函数形式为 $U \to V$ ，若对于任意 $x, x’ \in U$ 且 $x \neq x’$ ，满足 $Pr_{H \leftarrow H}[H(x) = H(x’)] = \frac{1}{|V|}$ ，则称 $H$ 是通用的。
• 剩余哈希引理（块源） ：设 $H$ 是函数 $H: U \to V$ 的通用集合，$X = (X_1, X_2, \ldots, X_q)$ 是 $(q, k)$ - 块源，其中 $k \geq \log |V| + 2 \log(1/\epsilon) + \Theta(1)$ 。那么分布 $(H_1, H_1(X_1), H_2, H_2(X_2), \ldots, H_q, H_q(X_q))$ （其中 $(H_1, H_2, \ldots, H_q) \leftarrow H^q$ ）与 $(H \times V)^q$ 上的均匀分布是 $\epsilon q$ - 接近的。

2. 安全模型定义

2.1 直观理解

在正式构建安全模型之前，需要明确 AIE 应抵御的攻击以及期望具备的属性：
- 封装头的匿名性 ：若 $Enc(pp, x)$ 不泄露关于 $x$ 的任何信息，则 AIE 方案是匿名的。
- 令牌功能的隐私性 ：形式化这一概念并不直接，因为对手可以进行猜测攻击。若对手知道令牌来自一个