A reliable communication primitive guarantees the delivery, integrity, and authorship of messages exchanged between correct processes of a distributed system. We investigate the necessary and sufficient conditions for reliable communication in dynamic networks, where the network topology evolves over time despite the presence of a limited number of Byzantine faulty processes that may behave arbitrarily (i.e., in the globally bounded Byzantine failure model). We identify classes of dynamic networks where such conditions are satisfied, and extend our analysis to message losses, local computation with unbounded finite delay, and authenticated messages.

翻译：可靠通信原语保证分布式系统中正确进程之间交换消息的传递性、完整性和作者身份。我们研究了动态网络中可靠通信的充分必要条件——在网络拓扑随时间演化的环境下，即使存在有限数量的可能任意行为的拜占庭故障进程（即全局有界拜占庭故障模型），仍能实现可靠通信。我们确定了满足这些条件的动态网络类别，并将分析扩展到消息丢失、具有无界有限延迟的本地计算以及认证消息场景。