10、车辆混合区隐私的形式化分析

车辆混合区隐私的形式化分析

1. 引言

在车辆通信中，保障隐私是一个重要的问题。为了实现这一目标，我们使用CMIX协议来分发加密密钥。通过对理想模型的分析，我们提取出一系列场景，在这些场景中，一个“完美”的密钥分发协议有可能保证隐私。随后，我们针对这些场景对CMIX协议进行评估。

2. 理想模型中的隐私

在理想模型中，车辆神奇地知道混合区加密密钥，而攻击者并不知道该密钥，并且唯一的通信就是信标消息。我们考虑了信标消息的确定性加密和概率性加密两种情况。

2.1 实验分析

我们使用固定的信标消息发射序列来建模每辆车：$p_{1v} ; {p_{1v}} {z_k}; {p {2v}} {z_k}; p {2v}$，其中：
- $p_{iv} \stackrel{\text{def}}{=} \text{sign}(p_{i v}, k_{i v}), \text{sign}((p_{i v}, \text{pub}(k_{i v})), k_{ca})$
- ${p_{iv}} {z_k} \stackrel{\text{def}}{=} \text{senc}(p {iv}, z_k)$ 或 $\text{rsenc}(p_{iv}, z_k, r)$，取决于我们分别考虑的是确定性加密还是概率性加密。在概率性加密的情况下，每个 $r$ 代表一个新的随机数。

从这个固定序列中，我们通过添加两个位置变化（从进入到接近和从接近到退出）来生成一组相关场景，并在进入或离开接近位置时进行地理同步。我们允许每辆车发射每个信标三次，因此可以在序列