Stabilizing Link-Coloration of Arbitrary Networks with Unbounded Byzantine Faults

Toshimitsu Masuzawa Sébastien Tixeuil 1
1 NPA - Networks and Performance Analysis
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Self-stabilizing protocols can tolerate any type and any number of transient faults. However, in general, self-stabilizing protocols provide no guarantee about their behavior against permanent faults. This paper considers self-stabilizing link-coloring resilient to (permanent) Byzantine faults in arbitrary anonymous networks. First, we show that stabilizing link-coloring is impossible in anonymous cycles when there is no constraint on the spatial scheduling of processes. Then, given the assumption that no correct neighbors execute their actions simultaneously, we present a self-stabilizing link-coloring protocol that is also resilient to Byzantine faults in arbitrary anonymous networks. The protocol uses 2d-1 colors where d is the maximum degree in the network. This protocol guarantees that any link (u, v) between non faulty processes u and v is assigned a color within 2d+2 rounds and its color remains unchanged thereafter. Our protocol is Byzantine insensitive in the sense that the subsystem of correct processes remains operating properly in spite of unbounded Byzantine faults.
Document type :
Journal articles
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01152556
Contributor : Lip6 Publications <>
Submitted on : Monday, May 18, 2015 - 11:00:53 AM
Last modification on : Thursday, March 21, 2019 - 1:10:15 PM

Identifiers

  • HAL Id : hal-01152556, version 1

Citation

Toshimitsu Masuzawa, Sébastien Tixeuil. Stabilizing Link-Coloration of Arbitrary Networks with Unbounded Byzantine Faults. International Journal of Principles and Applications of Information Science and Technology, 2007, 1 (1), pp.1-13. ⟨hal-01152556⟩

Share

Metrics

Record views

128