Tight self-stabilizing mobile byzantine-tolerant atomic register - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Tight self-stabilizing mobile byzantine-tolerant atomic register


This paper proposes the first implementation of a self-stabilizing atomic register that is tolerant to both Mobile Byzantine Agents and transient failures. The register is maintained by n servers and our algorithm tolerates (i) any number of transient failures and (ii) up to f Mobile Byzantine Failures. In the Mobile Byzantine Failure model, faulty agents move from one server to another and when they are affecting a server, it behaves arbitrarily. Our implementation is designed for the round-based synchronous model where agents are moved from round to round. The paper considers four Mobile Byzantine Failure models differing for the diagnosis capabilities at server side i.e., when servers can diagnose their failure state (that is, be aware that the mobile Byzantine agent has left the server), and when servers cannot self-diagnose. We first prove lower bounds on the number of servers n necessary to construct a register tolerant to the presence of f Mobile Byzantine Failures for each of the Mobile Byzantine Failure models considered and then we propose a parametric algorithm working in all the models and matching the lower bounds.
No file

Dates and versions

hal-01340261 , version 1 (30-06-2016)


  • HAL Id : hal-01340261 , version 1


Silvia Bonomi, Antonella del Pozzo, Maria Potop-Butucaru. Tight self-stabilizing mobile byzantine-tolerant atomic register. IEEE ICDCN 2016 Proceedings of the 17th International Conference on Distributed Computing and Networking, Jan 2016, Singapore, Singapore. ⟨hal-01340261⟩
78 View
0 Download


Gmail Facebook X LinkedIn More