MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Unreliable intrusion detection in distributed computations (1997) [49 citations — 4 self]

Download:
pdf | ps
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