50、安全位置验证：为何验证器应具备移动性

安全位置验证：为何验证器应具备移动性

1. 位置验证协议（MoVers）

为了声明一个位置，证明者 P 会以预定义的传输间隔时间 $\Delta_{(i - 1, i)}$（$i = 2 \cdots m$）广播其位置超过 $m > 1$ 次。为简化起见，我们使用恒定的传输间隔时间 $\Delta$，即对于所有 $i = 2 \cdots m$，$\Delta_{(i - 1, i)} = \Delta$。每个验证器 $V_a$ 在接收到 P 的第 $i$ 次传输（$1 < i \leq m$）时，会存储其当前位置 $V_a^{(i)}$ 和接收时间戳 $t_a^{(i)}$。

验证协议基于以下条件：对于所有 $i > 1$，所有验证器都会检查验证条件 $\Delta_{(i - 1, i)}^a \stackrel{?}{=} \Delta + (\delta_a^{(i)} - \delta_a^{(i - 1)})$ 是否成立。它们使用已知位置估计传播延迟 $\delta_a^{(i)}$，即 $\delta_a^{(i)} = \frac{\text{dist}(V_a^{(i)}, P)}{c}$，其中 $\text{dist}(\cdot, \cdot)$ 表示两个位置之间的欧几里得距离，$c$ 是信号传播速度（通常为光速）。如果等式成立，验证器保持沉默；否则，它会发出警报。在 $m$ 次传输且没有任何警报后，验证过程成功结束，即 P 的位置得到验证。

2. 受控移动性

我们假设验证器在位置声明传输之间改变其位置，即 $V_a^{(i)} \neq V_a^{(i - 1)}$。验证器可以在物理限制内使用不同策略选择其下一个位