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.

翻译：可靠通信原语确保分布式系统中正确进程间交换消息的投递、完整性与来源认证。本文研究动态网络中实现可靠通信的必要与充分条件，此类网络的拓扑结构随时间演化，且存在有限数量的拜占庭故障进程（即全局有界拜占庭故障模型），这些进程可能表现出任意行为。我们识别了满足此类条件的动态网络类别，并将分析扩展到消息丢失、具有无界有限延迟的本地计算以及认证消息等场景。