by Dahlia Malkhi, Michael Reiter
In Proceedings of the 10th IEEE Computer Security Foundations Workshop
http://www.cs.umbc.edu/cadip/docs/NetworkIntrusion/csfw10.ps
Add To MetaCart
Abstract:
Distributed coordination is difficult, especially when the system may suffer intrusions that corrupt some component processes. In this paper we introduce the abstraction of a failure detector that a process can use to (imperfectly) detect the corruption (Byzantine failure) of another process. In general, our failure detectors can be unreliable, both by reporting a correct process to be faulty or by reporting a faulty process to be correct. However, we show that if these detectors satisfy certain plausible properties, then the well-known distributed consensus problem can be solved. We also present a randomized protocol using failure detectors that solves the consensus problem if either the requisite properties of failure detectors hold or if certain highly probable events eventually occur. This work can be viewed as a generalization of benign failure detectors popular in the distributed computing literature. 1
Citations
|
1074
|
Impossibility of distributed consensus with one faulty process
– Fischer, Lynch, et al.
- 1985
|
|
683
|
Unreliable Failure Detectors for Reliable Distributed Systems
– Chandra, Toueg
- 1996
|
|
540
|
Lightweight causal and atomic group multicast
– Birman, Schiper, et al.
- 1991
|
|
310
|
The Weakest Failure Detector for Solving Consensus
– Chandra, Hadzilacos, et al.
- 1996
|
|
284
|
Byzantine quorum systems
– Malkhi, Reiter
- 1998
|
|
154
|
Secure agreement protocols: Reliable and atomic group multicast in rampart
– Reiter
- 1994
|
|
148
|
Another Advantage of Free Choice: Completely Asynchrunous Agreement Protocols
– Ben-Or
- 1983
|
|
128
|
Asynchronous consensus and broadcast protocols
– Bracha, Toueg
- 1985
|
|
126
|
Randomized byzantine generals
– Rabin
- 1982
|
|
50
|
A high-throughput secure reliable multicast protocol
– Malkhi, Reiter
- 1997
|
|
49
|
Randomization in byzantine agreement
– Chor, Dwork
- 1989
|
|
47
|
Failure detectors in omission failure environments
– Dolev, Friedman, et al.
- 1996
|
|
37
|
Fast asynchronous byzantine agreement with optimal resilience
– Canetti, Rabin
- 1993
|
|
34
|
Randomized byzantine agreements
– Toueg
- 1984
|
|
16
|
Gamma-Accurate failure detectors
– Guerraoui, Schiper
- 1996
|
|
13
|
Securing causal relationships in distributed systems, The Computer Journal
– Reiter, Gong
- 1995
|
|
8
|
The best of both worlds: Guaranteeing termination in fast randomized byzantine agreement protocols
– Goldreich, Petrank
- 1990
|
|
7
|
Randomization and failure detection: a hybrid approach to solve consensus
– Aguilera, Toueg
- 1996
|
|
6
|
A randomized Byzantine agreement protocol with constant expected time and guaranteed termination in optimal (deterministic) time
– Zamsky
- 1996
|
|
4
|
Consensus made practical
– DOLEV, MALKI
- 1994
|
|
1
|
Fast asynchronousByzantine agreement
– Ben-Or
- 1985
|
|
1
|
The part-time parliament. Systems Research
– Lamport
- 1989
|