Tight self-stabilizing mobile byzantine-tolerant atomic register

Abstract : 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.
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01340261
Contributor : Maria Potop-Butucaru <>
Submitted on : Thursday, June 30, 2016 - 4:27:50 PM
Last modification on : Thursday, March 21, 2019 - 2:41:55 PM

Identifiers

  • HAL Id : hal-01340261, version 1

Citation

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⟩

Share

Metrics

Record views

91