Reliable Communication in a Dynamic Network in the Presence of Byzantine Faults
Résumé
We consider the problem of transmitting information reliably from a source node to a sink node in a dynamic multihop network, in spite of the presence of Byzantine nodes. Byzantine nodes behave arbitrarily, and can tamper with messages or forward spurious ones. Previous work has shown that reliable communication in the presence of k Byzantine failures is possible if and only if there are 2k+1 node-disjoint paths from the source to the sink. However, this result relies on Menger's theorem (the equivalence between node cut and connectivity), which only holds in static networks. In this paper, we prove the necessary and sufficient condition for reliable communication in dynamic networks, where the topology can vary with time. We then check if this condition is satisfied in several cases of study (robots moving on a grid, participants interacting in a conference, mobile agents in the subway...) and show the interest of this multihop approach for reliable communication in dynamic networks.
Origine | Fichiers produits par l'(les) auteur(s) |
---|