18、异步交互系统中的安全性

异步交互系统中的安全性

在异步交互系统里，安全性是至关重要的研究领域。下面将深入探讨该系统的多个关键方面。

消息传递与调度

消息传递和调度机制在系统中起着关键作用。调度器 $\sigma_e$ 会先传递集合 $c(x_T, r)$ 中代理的所有消息，然后调度中介，最后传递其他所有消息。

t - 双模拟协议

定义了协议 $\pi’$ 对 $\pi$ 的 t - 双模拟概念，具体如下：
- 性质 (a) ：对于所有规模 $|T| \leq t$ 的对手 $A = (T, \tau_T, \sigma_e)$，存在对手 $A’ = (T, \tau’_T, \sigma’_e)$，使得对于所有输入配置文件 $x$，$\pi(x, A)$ 和 $\pi’(x, A’)$ 具有相同的分布。
- 性质 (b) ：对于所有规模 $|T| \leq t$ 的对手 $A’ = (T, \tau’_T, \sigma’_e)$，存在对手 $A = (T, \tau_T, \sigma_e)$，使得对于所有输入配置文件 $x$，$\pi(x, A)$ 和 $\pi’(x, A’)$ 具有相同的分布。

可以看出，第一个条款类似于 SC2，第二个条款类似于 SC3。由于允许代理不终止，所以没有类似于 SC1 的条款。不过，可将非终止视为一种特殊输出，SC2 已保证 $\pi’$ 和 $\pi$ 中非终止发生的概率相同。

当 $n > 4t$ 时，有命题表明 $\pi_f$ t - 双模拟 $\tau_f + \tau_f^d$。