分布式流言的认知协议
Epistemic Protocols for Distributed Gossiping
Centrum Wiskunde Informatica（国家数学与计算机科学研究所）；University of Liverpool（利物浦大学）
摘要：
流言协议的目的是通过点对点或组通信的方式，达到所有代理都知道彼此秘密的情况。我们考虑分布式的八卦协议，表示通过认知逻辑。我们提供了这样的协议的操作语义，并建立了一个适当的框架来争论他们的正确性。然后，我们分析特定的协议，完全图和有向环。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
