Abstractions for Devising Byzantine-Resilient State Machine Replication

Détails

ID Serval
serval:BIB_16777
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Titre
Abstractions for Devising Byzantine-Resilient State Machine Replication
Titre de la conférence
Proceedings of the 19th IEEE Symposium on reliable Distributed Systems (SRDS'00)
Auteur(s)
Doudou A., Garbinato B., Guerraoui R.
Editeur
IEEE Computer Society
ISBN
0-7695-0543-0
Statut éditorial
Publié
Date de publication
10/2000
Peer-reviewed
Oui
Pages
144-153
Langue
anglais
Résumé
State machine replication is a common approach for making a distributed service highly available and resilient to failures, by replicating it on different processes. It is well-known, however that the difficulty of ensuring the safety and liveness of a replicated service increases significantly when no synchrony assumptions are made, and when processes can exhibit Byzantine behaviors. The contribution of this work is to break the complexity of devising a Byzantine-resilient state machine replication protocol, by decomposing it into key modular abstractions. In addition to being modular the protocol we propose always preserves safety in presence of less than one third of Byzantine processes, independently of any synchrony assumptions. As for the liveness of our protocol, it relies on a Byzantine failure detector that encapsulates the sufficient amount of synchrony.
Mots-clé
dop
Web of science
Site de l'éditeur
Création de la notice
19/11/2007 9:38
Dernière modification de la notice
20/08/2019 12:46
Données d'usage