Epistemic Protocols for Distributed Gossiping
Epistemic Protocols for Distributed Gossiping
复制标题
分布式八卦认知协议
作者：
K. Apt;Davide Grossi;W. Hoek
八卦协议旨在通过点对点或组通信的方式达到所有代理都知道彼此秘密的情况。我们考虑通过认知逻辑表达的分布式八卦协议。我们提供此类协议的操作语义，并建立适当的框架来争论它们的正确性。然后我们分析完整图和有向环的特定协议。
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other's secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protocols for complete graphs and for directed rings.