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.
Type de document :
Communication dans un congrès
IEEE ICDCN 2016 Proceedings of the 17th International Conference on Distributed Computing and Networking, Jan 2016, Singapore, Singapore. IEEE ICDCN 2016 Proceedings of the 17th International Conference on Distributed Computing and Networking
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01340261
Contributeur : Maria Potop-Butucaru <>
Soumis le : jeudi 30 juin 2016 - 16:27:50
Dernière modification le : samedi 1 décembre 2018 - 01:27:45

Identifiants

  • HAL Id : hal-01340261, version 1

Collections

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. IEEE ICDCN 2016 Proceedings of the 17th International Conference on Distributed Computing and Networking. 〈hal-01340261〉

Partager

Métriques

Consultations de la notice

80