17、异步交互系统中的安全机制与安全计算

异步交互系统中的安全机制与安全计算

1. 系统中的代理类型与特性

在异步交互系统中，存在多种类型的代理，包括诚实代理、恶意代理和理性代理。理性代理会在符合自身利益时偏离协议，而诚实代理可以留下“遗嘱”，若足够多的诚实代理未终止操作，其余代理将受到惩罚。

1.1 特性保障

• P2 属性 ：要么所有诚实代理都终止操作，要么有足够多的诚实代理未终止，以此确保理性代理不会阻止诚实代理终止操作（出于对惩罚的恐惧）。
• P1 属性 ：若所有诚实代理都终止操作，其输出将是正确的。

1.2 上下界情况

系统算法的上界与 BCG 和 BKR 的相同，且 BCG 和 BKR 证明了可容忍恶意代理数量的下界与上界相匹配，因此可直接从 BCG 和 BKR 的结果中得到与之匹配的下界。

2. 系统模型

2.1 网络环境

采用异步网络模型，每对代理可通过私有可靠的通信信道进行通信。多数情况下，假设通过这些信道发送的所有消息最终都会被接收，但可能会被任意延迟。消息接收顺序由环境（调度器）决定，调度器是一个对抗实体，同时也决定代理的调度顺序。部分结果中，会放宽所有消息必须最终送达的条件，这种调度器称为宽松调度器。

2.2 代理操作

当代理被调度时，它会读取自上次调度以来收到的所有消息，发送（可能为空）消息序列，然后执行一些内部操作。假设调度器在代理操作期间不会传递消息或调度其他代理，即代理发送消息是原子性的。