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.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00073018
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 11:36:38 AM
Last modification on : Friday, November 16, 2018 - 1:24:41 AM
Long-term archiving on: Sunday, April 4, 2010 - 9:36:34 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

451

Files downloads

314