30、基于ABE的内容访问控制与车载网络安全策略执行

基于ABE的内容访问控制与车载网络安全策略执行

1. ICN中基于ABE的内容访问控制安全证明

在ICN（信息中心网络）中，提出了一种基于ABE（基于属性的加密）的内容访问控制方案，为了证明该方案的安全性，引入了安全游戏和相关的证明过程。

1.1 安全游戏

最初定义了一个安全游戏，其中密钥指的是私钥，敌手可以请求用于加密的公钥。敌手进行猜测，其优势定义为 $ADV = P[b′ = b] - \frac{1}{2}$ ，若对于所有多项式时间敌手，该优势可忽略不计，则方案是安全的。

为了便于后续的安全证明，对原安全游戏进行了修改，原游戏称为Game1，修改后的游戏称为Game2。

Game2的步骤如下：
- Setup、Phase1、Phase2 ：与Game1相同。
- Challenge ：挑战者不选择一条消息来构造密文 $C$ ，而是输出 $C_j$ ：
- 若 $b = 1$ ，$C_j = e(\phi,\psi)^{\alpha s_j}$ ；
- 若 $b = 0$ ，$C_j = e(\phi,\psi)^{\theta_j}$ ，其中 $\theta_j$ 是从 $Z_{n’}^{*}$ 中独立均匀随机选择的。

假设Game1中的敌手 $adv1$ 优势为 $\epsilon$ ，则可以按照以下策略构造Game2中的敌手 $adv2$ ：
- 在Setup、Phase1和Phase2阶段，转发 $adv1$ 和挑战者之间的所有消息。
- 在Challenge阶段，$a