Consensus in Byzantine Asynchronous Systems

Roberto Baldoni 1 Jean-Michel Hélary 1 Michel Raynal 1 Lénaïck Tanguy 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : This paper studies the consensus problem in byzantine asynchronous distributed systems. In such systems, a process may stop communicating with other processes or may behave arbitrarily (e.g., execute a statement more than once, corrupt the value of a local variable or misevaluate a local predicate). A consensus protocol resilient to such failures is proposed. It uses signed and certified messages and is based on two underlying failure detection modules. The first is an unreliable failure detector module. The second is a reliable arbitrary behavior detection module. More precisely, the first module detects processes that stop sending messages, while processes experiencing other arbitrary behaviors are detected by the second module. The protocol is resilient to F faulty processes, where F is less than half of the total number of processes and less than an upper bound C (where C is the maximum number of faulty processes that can be tolerated by the underlying certification service). The approach used to design the protocol is new. While usual byzantine consensus protocols are based on unreliable failure detectors to detect processes that stop communicating, none of them use a module to detect their arbitrary behavior (this detection is not isolated from the protocol and makes it difficult to understand and prove correct). In addition to this modular approach and to a new consensus protocol for byzantine systems, the paper presents a finite state automaton-based implementation of the arbitrary behavior detection module. Finally, the modular approach followed in this paper can be used to solve other problems in byzantine systems.
Type de document :
Rapport
[Research Report] RR-3655, INRIA. 1999, pp.21
Liste complète des métadonnées

https://hal.inria.fr/inria-00073018
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 11:36:38
Dernière modification le : mercredi 16 mai 2018 - 11:23:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:36:34

Fichiers

Identifiants

  • HAL Id : inria-00073018, version 1

Citation

Roberto Baldoni, Jean-Michel Hélary, Michel Raynal, Lénaïck Tanguy. Consensus in Byzantine Asynchronous Systems. [Research Report] RR-3655, INRIA. 1999, pp.21. 〈inria-00073018〉

Partager

Métriques

Consultations de la notice

376

Téléchargements de fichiers

216