On the Solvability of Byzantine-tolerant Reliable Communication in Dynamic Networks
It provides foundational theoretical conditions for reliable communication in dynamic adversarial networks, relevant to distributed systems and fault-tolerant computing.
The paper identifies necessary and sufficient conditions for reliable communication in dynamic networks with Byzantine faults, characterizing classes of networks where these conditions hold, and extends the analysis to message losses and authentication.
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.