The Byzantine Generals Problem

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

The Byzantine Generals Problem

Full text

Pdf (1.25 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 4 , Issue 3 (July 1982) table of contents

Pages: 382 - 401

Year of Publication: 1982

ISSN:0164-0925

Authors

Leslie Lamport	Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA
Robert Shostak	Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA
Marshall Pease	Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 91, Downloads (12 Months): 781, Citation Count: 370

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357172.357176 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	DIFFIE, W., AND HELLMAN, M.E. New directions in cryptography. IEEE Trans. Inf. Theory IT-22 (Nov. 1976), 644-654.
	2	DOLEV, D. The Byzantine generals strike again. J. Algorithms 3, I (Jan. 1982).
	3	M. Pease , R. Shostak , L. Lamport, Reaching Agreement in the Presence of Faults, Journal of the ACM (JACM), v.27 n.2, p.228-234, April 1980 [doi>10.1145/322186.322188]
	4	R. L. Rivest , A. Shamir , L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, v.21 n.2, p.120-126, Feb. 1978 [doi>10.1145/359340.359342]

CITED BY 370

	P. D. V. Van Der Stok , A. H. T. Janssen-Raemaekers, Real-Time Atomic Multicast Algorithms Implemented on a Shared Memory Multiprocessor, Real-Time Systems, v.24 n.1, p.55-91, January 2003
	Soma Chaudhuri , Maurice Erlihy , Nancy A. Lynch , Mark R. Tuttle, Tight bounds for k-set agreement, Journal of the ACM (JACM), v.47 n.5, p.912-943, Sept. 2000
	G Bracha, An O(lg n) expected rounds randomized Byzantine generals protocol, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.316-326, May 06-08, 1985, Providence, Rhode Island, United States
	Shlomi Dolev , Sergio Rajsbaum, Stability of long-lived consensus (extended abstract), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.309-318, July 16-19, 2000, Portland, Oregon, United States
	Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM (JACM), v.32 n.2, p.374-382, April 1985
	Prasad Jayanti , Tushar Deepak Chandra , Sam Toueg, Fault-tolerant wait-free shared objects, Journal of the ACM (JACM), v.45 n.3, p.451-500, May 1998
	Zhiming Liu , Mathai Joseph, Specification and verification of fault-tolerance, timing, and scheduling, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.1, p.46-89, Jan. 1999
	Ajei Gopal , Ray Strong , Sam Toueg , Flaviu Cristian, Early-delivery atomic broadcast, Proceedings of the ninth annual ACM symposium on Principles of distributed computing, p.297-309, August 22-24, 1990, Quebec City, Quebec, Canada
	Felix C. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys (CSUR), v.31 n.1, p.1-26, March 1999
	Dahlia Malkhi , Michael Reiter, Byzantine quorum systems, Proceedings of the twenty-ninth annual ACM symposium on Theory of computing, p.569-578, May 04-06, 1997, El Paso, Texas, United States
	Kurt Rothermel , Stefan Pappe, Open commit protocols tolerating commission failures, ACM Transactions on Database Systems (TODS), v.18 n.2, p.289-332, June 1993
	B A Coan , D Dolev , C Dwork , L Stockmeyer, The distributed firing squad problem, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.335-345, May 06-08, 1985, Providence, Rhode Island, United States
	Chris J. Walter , Patrick Lincoln , Neeraj Suri, Formally Verified On-Line Diagnosis, IEEE Transactions on Software Engineering, v.23 n.11, p.684-721, November 1997
	Eric C. Cooper, Replicated procedure call, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.220-232, August 27-29, 1984, Vancouver, British Columbia, Canada
	Stephen R. Mahaney , Fred B. Schneider, Inexact agreement: accuracy, precision, and graceful degradation, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.237-249, August 1985, Minaki, Ontario, Canada
	Cynthia Dwork , Dale Skeen, Patterns of communication in consensus protocols, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.143-153, August 27-29, 1984, Vancouver, British Columbia, Canada
	Benny Chor , Michael Merritt , David B. Shmoys, Simple constant-time consensus protocols in realistic failure models, Journal of the ACM (JACM), v.36 n.3, p.591-614, July 1989
	Hagit Attiya , Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Bounds on the time to reach agreement in the presence of timing uncertainty, Journal of the ACM (JACM), v.41 n.1, p.122-152, Jan. 1994
	A D Fekete, Asymptotically optimal algorithms for approximate agreement, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.73-87, August 11-13, 1986, Calgary, Alberta, Canada
	Leslie Lamport , P. M. Melliar-Smith, Synchronizing clocks in the presence of faults, Journal of the ACM (JACM), v.32 n.1, p.52-78, Jan. 1985
	Fred B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys (CSUR), v.22 n.4, p.299-319, Dec. 1990
	Sam Toueg , Kenneth J. Perry , T. K. Srikanth, Fast distributed agreement (preliminary version), Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.87-101, August 1985, Minaki, Ontario, Canada
	Michael Barborak , Anton Dahbura , Minoslaw Malek, The consensus problem in fault-tolerant computing, ACM Computing Surveys (CSUR), v.25 n.2, p.171-220, June 1993
	Gabriel Bracha , Sam Toueg, Resilient consensus protocols, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.12-26, August 17-19, 1983, Montreal, Quebec, Canada
	Danny Dolev , Joe Halpern , H. Raymond Strong, On the possibility and impossibility of achieving clock synchronization, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.504-511, December 1984
	Vassos Hadzilacos , Joseph Y. Halpern, Message-optimal protocols for byzantine agreement (extended abstract), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.309-323, August 19-21, 1991, Montreal, Quebec, Canada
	Meng-Jang Lin , Aleta M. Ricciardi , Keith Marzullo, A new model for availability in the face of self-propagating attacks, Proceedings of the 1998 workshop on New security paradigms, p.134-137, September 22-26, 1998, Charlottesville, Virginia, United States
	Frank M. Pittelli , Hector Garcia-Molina, Reliable scheduling in a TMR database system, ACM Transactions on Computer Systems (TOCS), v.7 n.1, p.25-60, Feb. 1989
	Sam Toueg, Randomized Byzantine Agreements, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.163-178, August 27-29, 1984, Vancouver, British Columbia, Canada
	David Chaum , Claude Crépeau , Ivan Damgard, Multiparty unconditionally secure protocols, Proceedings of the twentieth annual ACM symposium on Theory of computing, p.11-19, May 02-04, 1988, Chicago, Illinois, United States
	Rajiv Gupta , Scott A. Smolka , Shaji Bhaskar, On randomization in sequential and distributed algorithms, ACM Computing Surveys (CSUR), v.26 n.1, p.7-86, March 1994
	R. L. Graham , A. C. Yao, On the improbability of reaching Byzantine agreements, Proceedings of the twenty-first annual ACM symposium on Theory of computing, p.467-478, May 14-17, 1989, Seattle, Washington, United States
	L. Mancini , M. Koutny, Formal specification of N-modular redundancy, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.199-204, February 1986, Cincinnati, Ohio, United States
	Harry Buhrman , Matthew Franklin , Juan A. Garay , Jaap-Henk Hoepman , John Tromp , Paul Vitányi, Mutual search, Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms, p.481-489, January 25-27, 1998, San Francisco, California, United States
	S. C. Wang , Y. H. Chin , K. Q. Yan, Byzantine Agreement in a Generalized Connected Network, IEEE Transactions on Parallel and Distributed Systems, v.6 n.4, p.420-427, April 1995
	John Rushby, A formally verified algorithm for clock synchronization under a hybrid fault model, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.304-313, August 14-17, 1994, Los Angeles, California, United States
	John Kubiatowicz , David Bindel , Yan Chen , Steven Czerwinski , Patrick Eaton , Dennis Geels , Ramakrishan Gummadi , Sean Rhea , Hakim Weatherspoon , Westley Weimer , Chris Wells , Ben Zhao, OceanStore: an architecture for global-scale persistent storage, ACM SIGPLAN Notices, v.35 n.11, p.190-201, Nov. 2000
	Gene T.J. Wuu , Arthur J. Bernstein, Efficient solutions to the replicated log and dictionary problems, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.233-242, August 27-29, 1984, Vancouver, British Columbia, Canada
	D. Dolev , J. Meseguer , M. C. Pease, Finding safe paths in a faulty environment, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.95-103, August 18-20, 1982, Ottawa, Canada
	Gil Neiger , Sam Toueg, Simulating synchronized clocks and common knowledge in distributed systems, Journal of the ACM (JACM), v.40 n.2, p.334-367, April 1993
	Danny Dolev , Ruediger Reischuk , H. Raymond Strong, Early stopping in Byzantine agreement, Journal of the ACM (JACM), v.37 n.4, p.720-741, Oct. 1990
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	Michael Reiter, Distributing trust with the Rampart toolkit, Communications of the ACM, v.39 n.4, p.71-74, April 1996
	Harry Buhrman , Matthew Franklin , Juan A. Garay , Jaap-Henk Hoepman , John Tromp , Paul Vitányi, Mutual search, Journal of the ACM (JACM), v.46 n.4, p.517-536, July 1999
	Ofer Biran , Shlomo Moran , Shmuel Zaks, A combinatorial characterization of the distributed tasks which are solvable in the presence of one faulty processor, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.263-275, August 15-17, 1988, Toronto, Ontario, Canada
	Yaron Minsky , Robbert van Renesse , Fred B. Schneider , Scott D. Stoller, Cryptographic support for fault-tolerant distributed computing, Proceedings of the 7th workshop on ACM SIGOPS European workshop: Systems support for worldwide applications, September 09-11, 1996, Connemara, Ireland
	Philip Buonadonna , Andrew Geweke , David Culler, An implementation and analysis of the virtual interface architecture, Proceedings of the 1998 ACM/IEEE conference on Supercomputing (CDROM), p.1-15, November 07-13, 1998, San Jose, CA
	Eli Upfal, Tolerating linear number of faults in networks of bounded degree, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.83-89, August 10-12, 1992, Vancouver, British Columbia, Canada
	B. A. Coan , J. L. Welch, Modular construction of nearly optimal Byzantine agreement protocols, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.295-305, June 1989, Edmonton, Alberta, Canada
	N. Lynch, A hundred impossibility proofs for distributed computing, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.1-28, June 1989, Edmonton, Alberta, Canada
	S. C. Wang , K. Q. Yan , S. S. Wang , C. P. Huang, Achieving high efficient agreement with malicious faulty nodes on a cloud computing environment, Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human, p.468-473, November 24-26, 2009, Seoul, Korea
	Mordechai Ben-Ari, Interactive execution of distributed algorithms, Journal on Educational Resources in Computing (JERIC), v.1 n.2es, Summer 2001
	Dilip D. Kandlur , Kang G. Shin, Reliable broadcast algorithms for HARTS, ACM Transactions on Computer Systems (TOCS), v.9 n.4, p.374-398, Nov. 1991
	Shmuel Katz , Gadi Taubenfeld, What processes know: Definitions and proof methods, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.249-262, August 11-13, 1986, Calgary, Alberta, Canada
	L. Lamport, The Weak Byzantine Generals Problem, Journal of the ACM (JACM), v.30 n.3, p.668-676, July 1983
	Danny Dolev , Ruediger Reischuk, Bounds on information exchange for Byzantine Agreement, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.132-140, August 18-20, 1982, Ottawa, Canada
	J R Agre, A message-based fault diagnosis procedure, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.328-337, Aug. 5, 1986
	R. K. Bauer , T. A. Berson , R. J. Feiertag, A key distribution protocol using event markers, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.249-255, August 1983
	Gregory Chockler , Dahlia Malkhi, Active disk paxos with infinitely many processes, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California
	Brian A Coan, A communication-efficient canonical form for fault-tolerant distributed protocols, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.63-72, August 11-13, 1986, Calgary, Alberta, Canada
	Y. C. Tay, Attribute agreement, Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.110-119, March 1989, Philadelphia, Pennsylvania, United States
	Louise E. Moser , P. M. Melliar-Smith , Vivek Agrawala, Total ordering algorithms, Proceedings of the 19th annual conference on Computer Science, p.375-380, April 1991, San Antonio, Texas, United States
	Cynthia Dwork , Dale Skeen, The inherent cost of nonblocking commitment, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.1-11, August 17-19, 1983, Montreal, Quebec, Canada
	Noam Nisan , Amir Ronen, Algorithmic mechanism design (extended abstract), Proceedings of the thirty-first annual ACM symposium on Theory of computing, p.129-140, May 01-04, 1999, Atlanta, Georgia, United States
	Danny Dolev , Cynthia Dwork , Larry Stockmeyer, On the minimal synchronism needed for distributed consensus, Journal of the ACM (JACM), v.34 n.1, p.77-97, Jan. 1987
	Martin Hirt , Ueli Maurer, Complete characterization of adversaries tolerable in secure multi-party computation (extended abstract), Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.25-34, August 21-24, 1997, Santa Barbara, California, United States
	Danny Dolev , Nancy A. Lynch , Shlomit S. Pinter , Eugene W. Stark , William E. Weihl, Reaching approximate agreement in the presence of faults, Journal of the ACM (JACM), v.33 n.3, p.499-516, July 1986
	John Kubiatowicz, Extracting guarantees from chaos, Communications of the ACM, v.46 n.2, February 2003
	George Varghese , Nancy A. Lynch, A tradeoff between safety and liveness for randomized coordinated attack protocols, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.241-250, August 10-12, 1992, Vancouver, British Columbia, Canada
	Tushar Deepak Chandra , Sam Toueg, Unreliable failure detectors for reliable distributed systems, Journal of the ACM (JACM), v.43 n.2, p.225-267, March 1996
	Matthew Franklin , Moti Yung, Secure hypergraphs: privacy from partial broadcast, Proceedings of the twenty-seventh annual ACM symposium on Theory of computing, p.36-44, May 29-June 01, 1995, Las Vegas, Nevada, United States
	Hagit Attiya , Nancy Lynch , Nir Shavit, Are wait-free algorithms fast?, Journal of the ACM (JACM), v.41 n.4, p.725-763, July 1994
	Brian M. Oki , Barbara H. Liskov, Viewstamped replication: a general primary copy, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.8-17, August 15-17, 1988, Toronto, Ontario, Canada
	Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony, Journal of the ACM (JACM), v.35 n.2, p.288-323, April 1988
	Andrei Z. Broder, A provably secure polynomial approximation scheme for the distributed lottery problem (extended abstract), Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.136-148, August 1985, Minaki, Ontario, Canada
	Gil Neiger , Sam Toueg, Substituting for real time and common knowledge in asynchronous distributed systems, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.281-293, August 10-12, 1987, Vancouver, British Columbia, Canada
	Fred B. Schneider, Byzantine generals in action: implementing fail-stop processors, ACM Transactions on Computer Systems (TOCS), v.2 n.2, p.145-154, May 1984
	Gil Neiger , Sam Toueg, Automatically increasing the fault-tolerance of distributed systems, Proceedings of the seventh annual ACM Symposium on Principles of distributed computing, p.248-262, August 15-17, 1988, Toronto, Ontario, Canada
	Ajei S. Gopal , Kenneth J. Perry, Unifying self-stabilization and fault-tolerance, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.195-206, August 15-18, 1993, Ithaca, New York, United States
	Özalp Babaoğlu, On the reliability of consensus-based fault-tolerant distributed computing systems, ACM Transactions on Computer Systems (TOCS), v.5 n.4, p.394-416, Nov. 1987
	Leslie Lamport, Using Time Instead of Timeout for Fault-Tolerant Distributed Systems., ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.254-280, April 1984
	Leslie Lamport , P. M. Melliar-Smith, Byzantine clock synchronization, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.68-74, August 27-29, 1984, Vancouver, British Columbia, Canada
	Pascale Minet , Emmanuelle Anceaume, Atomic broadcast in one phase, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	Mike J. Spreitzer , Marvin M. Theimer , Karin Petersen , Alan J. Demers , Douglas B. Terry, Dealing with server corruption in weakly consistent, replicated data systems, Proceedings of the 3rd annual ACM/IEEE international conference on Mobile computing and networking, p.234-240, September 26-30, 1997, Budapest, Hungary
	Stephen Ponzio, Consensus in the presence of timing uncertainty: omission and Byzantine failures (extended abstract), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.125-138, August 19-21, 1991, Montreal, Quebec, Canada
	John Kubiatowicz , David Bindel , Yan Chen , Steven Czerwinski , Patrick Eaton , Dennis Geels , Ramakrishna Gummadi , Sean Rhea , Hakim Weatherspoon , Chris Wells , Ben Zhao, OceanStore: an architecture for global-scale persistent storage, ACM SIGARCH Computer Architecture News, v.28 n.5, p.190-201, Dec. 2000
	Jai Eun Jang, An optimal fault-tolerant broadcasting algorithm for a hypercube multiprocessor, Proceedings of the 1990 ACM annual conference on Cooperation, p.96-102, February 20-22, 1990, Washington, D.C., United States
	Michael K. Reiter, Secure agreement protocols: reliable and atomic group multicast in rampart, Proceedings of the 2nd ACM Conference on Computer and communications security, p.68-80, November 1994, Fairfax, Virginia, United States
	Danny Dolev , Rüdiger Reischuk, Bounds on information exchange for Byzantine agreement, Journal of the ACM (JACM), v.32 n.1, p.191-204, Jan. 1985
	Matthias Fitzi , Daniel Gottesman , Martin Hirt , Thomas Holenstein , Adam Smith, Detectable byzantine agreement secure against faulty majorities, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California
	Gabriel Bracha , Sam Toueg, Asynchronous consensus and broadcast protocols, Journal of the ACM (JACM), v.32 n.4, p.824-840, Oct. 1985
	Hector Garcia-Molina , Daniel Barbara, How to assign votes in a distributed system, Journal of the ACM (JACM), v.32 n.4, p.841-860, Oct. 1985
	Gabriel Bracha, An O(log n) expected rounds randomized byzantine generals protocol, Journal of the ACM (JACM), v.34 n.4, p.910-920, Oct. 1987
	P. C. Saxena , J. Rai, A survey of permission-based distributed mutual exclusion algorithms, Computer Standards & Interfaces, v.25 n.2, p.159-181, May 2003
	Tom Anderson , Scott Shenker , Ion Stoica , David Wetherall, Design guidelines for robust Internet protocols, ACM SIGCOMM Computer Communication Review, v.33 n.1, p.125-130, January 2003
	Arnold B. Urken, Social choice theory and distributed decision making, ACM SIGOIS Bulletin, v.9 n.2-3, p.158-168, April & July 1988
	Juan A. Garay , Yoram Moses, Fully polynomial Byzantine agreement in t + 1 rounds, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.31-41, May 16-18, 1993, San Diego, California, United States
	P. Veríssimo , L. Rodrigues , M. Baptista, AMp: a highly parallel atomic multicast protocol, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.83-93, Sep. 1989
	P. D. Ezhilchelvan , S. K. Shrivastava , A. Tully, Constructing replicated systems using processors with point-to-point communication links, ACM SIGARCH Computer Architecture News, v.17 n.3, p.177-184, June 1989
	David R. Cheriton , Willy Zwaenepoel, Distributed process groups in the V Kernel, ACM Transactions on Computer Systems (TOCS), v.3 n.2, p.77-107, May 1985
	Nathan Goodman , Dale Skeen , Arvola Chan , Umeshwar Dayal , Stephen Fox , Daniel Ries, A recovery algorithm for a distributed database system, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia
	Miguel Castro , Barbara Liskov, Practical byzantine fault tolerance and proactive recovery, ACM Transactions on Computer Systems (TOCS), v.20 n.4, p.398-461, November 2002
	C. J. Walter , N. Suri, The customizable fault/error model for dependable distributed systems, Theoretical Computer Science, v.290 n.2, p.1223-1251, 2 January 2003
	Hagit Attiya , Alla Gorbach , Shlomo Moran, Computing in totally anonymous asynchronous shared memory systems, Information and Computation, v.173 n.2, p.162-183, March 15, 2002
	Michael J. Fischer , Nancy A. Lynch , Michael Merritt, Easy impossibility proofs for distributed consensus problems, Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.59-70, August 1985, Minaki, Ontario, Canada
	Miguel Castro , Barbara Liskov, Practical Byzantine fault tolerance, Proceedings of the third symposium on Operating systems design and implementation, p.173-186, February 1999, New Orleans, Louisiana, United States
	Mordechai Ben-Ari, Distributed algorithms in Java, ACM SIGCSE Bulletin, v.29 n.3, p.62-64, Sept. 1997
	Benny Chor , Michael Merritt , David B. Shmoys, Simple constant-time consensus protocols in realistic failure models (extended abstract), Proceedings of the fourth annual ACM symposium on Principles of distributed computing, p.152-162, August 1985, Minaki, Ontario, Canada
	Roberto De Prisco , Dahlia Malkhi , Michael K. Reiter, On k-set consensus problems in asynchronous systems, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.257-265, May 04-06, 1999, Atlanta, Georgia, United States
	Hagit Attiya , Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Bounds on the time to reach agreement in the presence of timing uncertainty, Proceedings of the twenty-third annual ACM symposium on Theory of computing, p.359-369, May 05-08, 1991, New Orleans, Louisiana, United States
	Mike J. Spreitzer , Marvin M. Theimer , Karin Petersen , Alan J. Demers , Douglas B. Terry, Dealing with server corruption in weakly consistent replicated data systems, Wireless Networks, v.5 n.5, p.357-371, Oct. 1999
	Hector Garcia Molina , Frank Pittelli , Susan Davidson, Applications of Byzantine agreement in database systems, ACM Transactions on Database Systems (TODS), v.11 n.1, p.27-47, March 1986
	John Rushby, Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms, IEEE Transactions on Software Engineering, v.25 n.5, p.651-660, September 1999
	Jo-Mei Chang, Simplifying distributed database systems design by using a broadcast network, ACM SIGMOD Record, v.14 n.2, June 1984
	K. -Q. Yan , Y. H. Chin , S. -C. Wang, Optimal Agreement Protocol in Malicious Faulty Processors and Faulty Links, IEEE Transactions on Knowledge and Data Engineering, v.4 n.3, p.266-280, June 1992
	Byoung Min Joon, Intrusion-Tolerant Server Architecture for Survivable Services, The Journal of Supercomputing, v.33 n.1, p.93-102, July 2005
	S. Amitanand , I. Sanketh , K. Srinathant , V. Vinod , C. Pandu Rangan, Distributed consensus in the presence of sectional faults, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.202-210, July 13-16, 2003, Boston, Massachusetts
	Roberto de Prisco , Dahlia Malkhi , Michael Reiter, On k-Set Consensus Problems in Asynchronous Systems, IEEE Transactions on Parallel and Distributed Systems, v.12 n.1, p.7-21, January 2001
	Saurabh Bagchi , Balaji Srinivasan , Keith Whisnant , Zbigniew Kalbarczyk , Ravishankar K. Iyer, Hierarchical Error Detection in a Software Implemented Fault Tolerance (SIFT) Environment, IEEE Transactions on Knowledge and Data Engineering, v.12 n.2, p.203-224, March 2000
	Bogdan S. Chlebus , Dariusz R. Kowalski, Gossiping to reach consensus, Proceedings of the fourteenth annual ACM symposium on Parallel algorithms and architectures, August 10-13, 2002, Winnipeg, Manitoba, Canada
	Jian Yin , Jean-Philippe Martin , Arun Venkataramani , Lorenzo Alvisi , Mike Dahlin, Separating agreement from execution for byzantine fault tolerant services, Proceedings of the nineteenth ACM symposium on Operating systems principles, October 19-22, 2003, Bolton Landing, NY, USA
	Michael J. Fischer , Nancy A. Lynch , Michael S. Paterson, Impossibility of distributed consensus with one faulty process, Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems, March 21-23, 1983, Atlanta, Georgia
	Roger M. Kieckhafer , Chris J. Walter , Alan M. Finn , Philip M. Thambidurai, The MAFT Architecture for Distributed Fault Tolerance, IEEE Transactions on Computers, v.37 n.4, p.398-405, April 1988
	Matthias Fitzi , Juan A. Garay, Efficient player-optimal protocols for strong and differential consensus, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.211-220, July 13-16, 2003, Boston, Massachusetts
	Jie Wu, Optimal broadcasting in injured hypercubes using directed safety levels, Journal of Parallel and Distributed Computing, v.63 n.9, p.815-826, September 2003
	Faith Fich , Eric Ruppert, Hundreds of impossibility results for distributed computing, Distributed Computing, v.16 n.2-3, p.121-163, September 2003
	D. L. Palumbo, The Derivation and Experimental Verification of Clock Synchronization Theory, IEEE Transactions on Computers, v.43 n.6, p.676-686, June 1994
	A. Gupta , W. K. Fuchs, Garbage Collection in a Distributed Object-Oriented System, IEEE Transactions on Knowledge and Data Engineering, v.5 n.2, p.257-265, April 1993
	Brian Oki , Manfred Pfluegl , Alex Siegel , Dale Skeen, The Information Bus: an architecture for extensible distributed systems, ACM SIGOPS Operating Systems Review, v.27 n.5, p.58-68, Dec. 1993
	Chagit Attiya , Danny Dolev , Joseph Gil, Asynchronous Byzantine consensus, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.119-133, August 27-29, 1984, Vancouver, British Columbia, Canada
	Rosario Gennaro , Yuval Ishai , Eyal Kushilevitz , Tal Rabin, The round complexity of verifiable secret sharing and secure multicast, Proceedings of the thirty-third annual ACM symposium on Theory of computing, p.580-589, July 2001, Hersonissos, Greece
	Ajei Gopal , Sam Toueg, Inconsistency and contamination (preliminary version), Proceedings of the tenth annual ACM symposium on Principles of distributed computing, p.257-272, August 19-21, 1991, Montreal, Quebec, Canada
	S. Lee , K. G. Shin, Interleaved All-to-All Reliable Broadcast on Meshes and Hypercubes, IEEE Transactions on Parallel and Distributed Systems, v.5 n.5, p.449-458, May 1994
	Rida A. Bazzi , Gil Neiger, Simplifying fault-tolerance: providing the abstraction of crash failures, Journal of the ACM (JACM), v.48 n.3, p.499-554, May 2001
	F. B. Bastani , C. V. Ramamoorthy, Fault tolerant distributed process-control systems, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.522-526, December 1987, Dallas, Texas, United States
	Paulo Veríssimo, Design of fault tolerant distributed systems: the fail-controlled approach, Proceedings of the 4th workshop on ACM SIGOPS European workshop, p.1-4, September 03-05, 1990, Bologna, Italy
	Paulo Veríssimo , Luís Rodrigues, Group orientation: a paradigm for modern distributed systems, Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring, September 21-23, 1992, Mont Saint-Michel, France
	R. M. Kieckhafer , M. H. Azadmanesh, Reaching Approximate Agreement with Mixed-Mode Faults, IEEE Transactions on Parallel and Distributed Systems, v.5 n.1, p.53-63, January 1994
	Richard D. Schlichting , Fred B. Schneider, Fail-stop processors: an approach to designing fault-tolerant computing systems, ACM Transactions on Computer Systems (TOCS), v.1 n.3, p.222-238, August 1983
	Danny Dolev , H. Raymond Strong, Polynomial algorithms for multiple processor agreement, Proceedings of the fourteenth annual ACM symposium on Theory of computing, p.401-407, May 05-07, 1982, San Francisco, California, United States
	Ran Canetti , Shai Halevi , Amir Herzberg, Maintaining authenticated communication in the presence of break-ins, Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing, p.15-24, August 21-24, 1997, Santa Barbara, California, United States
	Patric Kabus , Wesley W. Terpstra , Mariano Cilia , Alejandro P. Buchmann, Addressing cheating in distributed MMOGs, Proceedings of 4th ACM SIGCOMM workshop on Network and system support for games, October 10-11, 2005, Hawthorne, NY
	Dahlia Malkhi , Yishay Mansour , Michael K. Reiter, Diffusion without false rumors: on propagating updates in a Byzantine environment, Theoretical Computer Science, v.299 n.1-3, p.289-306, 18 April 2003
	Jeff Kramer, Distributed software engineering, Proceedings of the 16th international conference on Software engineering, p.253-263, May 16-21, 1994, Sorrento, Italy
	Douglas Wiebe, A distributed repository for immutable persistent objects, ACM SIGPLAN Notices, v.21 n.11, p.453-465, Nov. 1986
	Bernadette Charron-Bost , André Schiper, Uniform consensus is harder than consensus, Journal of Algorithms, v.51 n.1, p.15-37, 1 April 2004
	Luís Miguel Pinho , Francisco Vasques, Multi-μ: an Ada 95 based architecture for fault tolerance support of real-time systems, ACM SIGAda Ada Letters, v.XVIII n.6, p.52-60, Nov./Dec. 1998
	S. S. Brilliant , J. C. Knight , N. G. Leveson, The Consistent Comparison Problem in N-Version Software, IEEE Transactions on Software Engineering, v.15 n.11, p.1481-1485, November 1989
	M. H. Azadmanesh , R. M. Kieckhafer, New Hybrid Fault Models for Asynchronous Approximate Agreement, IEEE Transactions on Computers, v.45 n.4, p.439-449, April 1996
	Chiu-Yuen Koo, Broadcast in radio networks tolerating byzantine adversarial behavior, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
	Mukesh Singhal, A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems, IEEE Transactions on Computers, v.38 n.5, p.651-662, May 1989
	S S Brilliant , J C Knight , N G Leveson, The consistent comparison problem in N-version software, ACM SIGSOFT Software Engineering Notes, v.12 n.1, p.29-34, Jan. 1987
	Dahlia Malkhi , Michael K. Reiter, An Architecture for Survivable Coordination in Large Distributed Systems, IEEE Transactions on Knowledge and Data Engineering, v.12 n.2, p.187-202, March 2000
	Parameswaran Ramanathan , Kang G. Shin , Ricky W. Butler, Fault-Tolerant Clock Synchronization in Distributed Systems, Computer, v.23 n.10, p.33-42, October 1990
	Dahlia Malkhi , Michael Merritt , Ohad Rodeh, Secure reliable multicast protocols in a WAN, Distributed Computing, v.13 n.1, p.19-28, January 2000
	Leslie Lamport , P M Melliar Smith, Byzantine clock synchronization, ACM SIGOPS Operating Systems Review, v.20 n.3, p.10-16, July, 1986
	Jaynarayan H. Lala , Richard E. Harper , Linda S. Alger, A Design Approach for Ultrareliable Real-Time Systems, Computer, v.24 n.5, p.12-22, May 1991
	Hin-Sing Siu , Yeh-Hao Chin , Wei-Pang Yang, A Note on Consensus on Dual Failure Modes, IEEE Transactions on Parallel and Distributed Systems, v.7 n.3, p.225-230, March 1996
	Yennun Huang , Sampath Rangarajan , Satish K. Tripathi, Computing Reliability Intervals for k-Resilient Protocols, IEEE Transactions on Computers, v.44 n.3, p.462-466, March 1995
	B. M. McMillin , L. M. Ni, Reliable Distributed Sorting Through the Application-Oriented Fault Tolerance Paradigm, IEEE Transactions on Parallel and Distributed Systems, v.3 n.4, p.411-420, July 1992
	S. C. Wang , K. Q. Yan, Revisiting fault diagnosis agreement in a new territory, ACM SIGOPS Operating Systems Review, v.38 n.2, p.41-61, April 2004
	Hin-Sing Siu , Yeh-Hao Chin , W.-P. Yang, Byzantine Agreement in the Presence of Mixed Faults on Processors and Links, IEEE Transactions on Parallel and Distributed Systems, v.9 n.4, p.335-345, April 1998
	Yehuda Lindell , Anna Lysyanskaya , Tal Rabin, On the composition of authenticated byzantine agreement, Proceedings of the thiry-fourth annual ACM symposium on Theory of computing, May 19-21, 2002, Montreal, Quebec, Canada
	Shlomi Dolev, Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs, Real-Time Systems, v.12 n.1, p.95-107, Jan. 1997
	Grace Tsai , Shuhua Wang, Using Program Transformations to Provide Safety Properties for Real-Time Systems, Real-Time Systems, v.27 n.2, p.191-207, July 2004
	Algirdas Avizienis , Jean-Claude Laprie , Brian Randell , Carl Landwehr, Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, v.1 n.1, p.11-33, January 2004
	Kuo-Qin Yan , Shu-Ching Wang , Mao-Lun Chiang, New application of reliable agreement: underlying an unsecured business environment, ACM SIGOPS Operating Systems Review, v.38 n.3, p.42-57, July 2004
	Fabian Kuhn , Thomas Moscibroda , Roger Wattenhofer, What cannot be computed locally!, Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing, July 25-28, 2004, St. John's, Newfoundland, Canada
	Xavier Défago , André Schiper , Péter Urbán, Total order broadcast and multicast algorithms: Taxonomy and survey, ACM Computing Surveys (CSUR), v.36 n.4, p.372-421, December 2004
	Richard R. Brooks , S. Sitharama Iyengar, Robust Distributed Computing and Sensing Algorithm, Computer, v.29 n.6, p.53-60, June 1996
	J. M. Rushby , F. von Henke, Formal Verification of Algorithms for Critical Systems, IEEE Transactions on Software Engineering, v.19 n.1, p.13-23, January 1993
	William D. Young, Comparing Verification Systems: Interactive Consistency in ACL2, IEEE Transactions on Software Engineering, v.23 n.4, p.214-223, April 1997
	Rachid Guerraoui , André Schiper, The Generic Consensus Service, IEEE Transactions on Software Engineering, v.27 n.1, p.29-41, January 2001
	Stefan Poledna , Alan Burns , Andy Wellings , Peter Barrett, Replica Determinism and Flexible Scheduling in Hard Real-Time Dependable Systems, IEEE Transactions on Computers, v.49 n.2, p.100-111, February 2000
	Chris GauthierDickey , Daniel Zappala , Virginia Lo , James Marr, Low latency and cheat-proof event ordering for peer-to-peer games, Proceedings of the 14th international workshop on Network and operating systems support for digital audio and video, June 16-18, 2004, Cork, Ireland
	Seungjin Park , Bella Bose, All-to-All Broadcasting in Faulty Hypercubes, IEEE Transactions on Computers, v.46 n.7, p.749-755, July 1997
	Nitin H. Vaidya , Dhiraj K. Pradhan, Degradable Byzantine Agreement, IEEE Transactions on Computers, v.44 n.1, p.146-150, January 1995
	Sam Owre , John Rushby , Natarajan Shankar , Friedrich von Henke, Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS, IEEE Transactions on Software Engineering, v.21 n.2, p.107-125, February 1995
	Anish Arora , Sandeep S. Kulkarni, Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance, IEEE Transactions on Software Engineering, v.24 n.6, p.435-450, June 1998
	P. Ramanathan , Dilip D. Kandlur , Kang G. Shin, Hardware-Assisted Software Clock Synchronization for Homogeneous Distributed Systems, IEEE Transactions on Computers, v.39 n.4, p.514-524, April 1990
	José Fridman , Sampath Rangarajan, Maximizing Mean-Time to Failure in k-Resilient Systems with Repair, IEEE Transactions on Computers, v.46 n.2, p.229-234, February 1997
	Rachid Guerraoui , Michel Raynal, The Information Structure of Indulgent Consensus, IEEE Transactions on Computers, v.53 n.4, p.453-466, April 2004
	Shlomi Dolev , Sergio Rajsbaum, Stability of long-lived consensus, Journal of Computer and System Sciences, v.67 n.1, p.26-45, August 2003
	Hector Garcia-Molina , Frank Pittelli , Susan Davidson, Is byzantine agreement useful in a distributed database?, Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems, April 02-04, 1984, Waterloo, Ontario, Canada
	Shlomi Dolev , Jennifer L. Welch, Self-stabilizing clock synchronization in the presence of Byzantine faults, Journal of the ACM (JACM), v.51 n.5, p.780-799, September 2004
	P. D. Ezhilchelvan , I. Mitrani , S. K. Shrivastava, A Performance Evaluation Study of Pipeline TMR Systems, IEEE Transactions on Parallel and Distributed Systems, v.1 n.4, p.442-456, October 1990
	David Peleg, Local majorities, coalitions and monopolies in graphs: a review, Theoretical Computer Science, v.282 n.2, p.231-257, 10 June 2002
	F. J. Meyer , D. K. Pradhan, Consensus With Dual Failure Modes, IEEE Transactions on Parallel and Distributed Systems, v.2 n.2, p.214-222, April 1991
	Stephanos Androutsellis-Theotokis , Diomidis Spinellis, A survey of peer-to-peer content distribution technologies, ACM Computing Surveys (CSUR), v.36 n.4, p.335-371, December 2004
	Gil Neiger , Mark R. Tuttle, Common knowledge and consistent simultaneous coordination, Distributed Computing, v.6 n.3, p.181-192, April 1993
	Ahuva Tikvati , Mordechai Ben-Ari , Yifat Ben-David Kolikant, Virtual trees for the byzantine generals algorithm, ACM SIGCSE Bulletin, v.36 n.1, March 2004
	Reinhard Maier , Günther Bauer , Georg Stöger , Stefan Poledna, Time-Triggered Architecture: A Consistent Computing Platform, IEEE Micro, v.22 n.4, p.36-45, July 2002
	Fernando Pedone , Rachid Guerraoui , André Schiper, The Database State Machine Approach, Distributed and Parallel Databases, v.14 n.1, p.71-98, July 2003
	Andrew V. Goldberg , Jason D. Hartline, Competitiveness via consensus, Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms, January 12-14, 2003, Baltimore, Maryland
	Yehuda Hassin , David Peleg, Distributed probabilistic polling and applications to proportionate agreement, Information and Computation, v.171 n.2, p.248-268, December 15, 2001
	Thomas Clouqueur , Kewal K. Saluja , Parameswaran Ramanathan, Fault Tolerance in Collaborative Sensor Networks for Target Detection, IEEE Transactions on Computers, v.53 n.3, p.320-333, March 2004
	S. C. Wang , K. Q. Yan , C. F. Cheng, Reaching agreement on an unknown network with partial graphic information, ACM SIGOPS Operating Systems Review, v.37 n.4, p.70-89, October 2003
	Omar Bakr , Idit Keidar, Evaluating the running time of a communication round over the internet, Proceedings of the twenty-first annual symposium on Principles of distributed computing, July 21-24, 2002, Monterey, California
	Brian F. Cooper , Mayank Bawa , Neil Daswani , Sergio Marti , Hector Garcia-Molina, Authenticity and availability in PIPE networks, Future Generation Computer Systems, v.21 n.3, p.391-400, 1 March 2005
	Vartika Bhandari , Nitin H. Vaidya, On reliable broadcast in a radio network, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
	S. C. Wang , K. Q. Yan, Dual link fault diagnosis agreement, Journal of Systems and Software, v.71 n.1-2, p.117-125, April 2004
	Kuo-Qin Yan , Shu-Ching Wang, The bounds of faulty components on consensus with dual failure modes, ACM SIGOPS Operating Systems Review, v.39 n.3, p.82-89, July 2005
	Rogério Drummond , Özalp Babaoğlu, Low-cost clock synchronization, Distributed Computing, v.6 n.4, p.193-203, July 1993
	Alejandro Hevia , Daniele Micciancio, Simultaneous broadcast revisited, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
	Nian-Feng Tzeng , Sizheng Wei, Enhanced Hypercubes, IEEE Transactions on Computers, v.40 n.3, p.284-294, March 1991
	Lakshminarayanan Subramanian , Randy H. Katz , Volker Roth , Scott Shenker , Ion Stoica, Reliable broadcast in unknown fixed-identity networks, Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing, July 17-20, 2005, Las Vegas, NV, USA
	S. C. Wang , M. L. Chiang , K. Q. Yan , K. F. Jea, Streets of consensus under unknown unreliable network, ACM SIGOPS Operating Systems Review, v.39 n.4, p.80-96, October 2005
	Roy Friedman , Achour Mostefaoui , Michel Raynal, Simple and Efficient Oracle-Based Consensus Protocols for Asynchronous Byzantine Systems, IEEE Transactions on Dependable and Secure Computing, v.2 n.1, p.46-56, January 2005
	Kuo-Qin Yan , Shu-Ching Wang, Reaching fault diagnosis agreement on an unreliable general network, Information Sciences—Informatics and Computer Science: An International Journal, v.170 n.2-4, p.397-407, 25 February 2005
	Pietro Baroni , Massimiliano Giacomin , Giovanni Guida, Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems, Artificial Intelligence, v.165 n.2, p.187-259, July 2005
	Hasan M. Sayeed , Marwan Abu-Amara , Hosame Abu-Amara, Optimal asynchronous agreement and leader election algorithm for complete networks with Byzantine faulty links, Distributed Computing, v.9 n.3, p.147-156, December 1995
	Peter G. Neumann, Risks to the public, ACM SIGSOFT Software Engineering Notes, v.30 n.6, November 2005
	Sandeep S. Kulkarni , Ali Ebnenasir, Complexity Issues in Automated Synthesis of Failsafe Fault-Tolerance, IEEE Transactions on Dependable and Secure Computing, v.2 n.3, p.201-215, July 2005
	Michael Abd-El-Malek , Gregory R. Ganger , Garth R. Goodson , Michael K. Reiter , Jay J. Wylie, Fault-scalable Byzantine fault-tolerant services, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
	Amitanand S. Aiyer , Lorenzo Alvisi , Allen Clement , Mike Dahlin , Jean-Philippe Martin , Carl Porth, BAR fault tolerance for cooperative services, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
	Philippe Raïpin Parvédy , Michel Raynal, Optimal early stopping uniform consensus in synchronous systems with process omission failures, Proceedings of the sixteenth annual ACM symposium on Parallelism in algorithms and architectures, June 27-30, 2004, Barcelona, Spain
	Philip C. Roth , Barton P. Miller, On-line automated performance diagnosis on thousands of processes, Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, March 29-31, 2006, New York, New York, USA
	James E. Burns , Gil Neiger, Fast and simple distributed consensus, Distributed Computing, v.8 n.2, p.59-64, October 1994
	Matthew K. Franklin , Michael K. Reiter, The Design and Implementation of a Secure Auction Service, IEEE Transactions on Software Engineering, v.22 n.5, p.302-312, May 1996
	P. Ramanathan , K. G. Shin, Reliable Broadcast in Hypercube Multicomputers, IEEE Transactions on Computers, v.37 n.12, p.1654-1657, December 1988
	Kun Sun , Peng Ning , Cliff Wang, Fault-Tolerant Cluster-Wise Clock Synchronization for Wireless Sensor Networks, IEEE Transactions on Dependable and Secure Computing, v.2 n.3, p.177-189, July 2005
	Bartosz Przydatek , Dawn Song , Adrian Perrig, SIA: secure information aggregation in sensor networks, Proceedings of the 1st international conference on Embedded networked sensor systems, November 05-07, 2003, Los Angeles, California, USA
	Brian A. Coan, Efficient agreement using fault diagnosis, Distributed Computing, v.7 n.2, p.87-98, December 1993
	Shlomi Dolev , Reuven Yagel, Self-stabilizing operating systems, Proceedings of the twentieth ACM symposium on Operating systems principles, October 23-26, 2005, Brighton, United Kingdom
	M. H. Azadmanesh , R. M. Kieckhafer, Exploiting Omissive Faults in Synchronous Approximate Agreement, IEEE Transactions on Computers, v.49 n.10, p.1031-1042, October 2000
	John Turek , Dennis Shasha, The Many Faces of Consensus in Distributed Systems, Computer, v.25 n.6, p.8-17, June 1992
	Ariel Daliot , Danny Dolev, Self-stabilizing byzantine agreement, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
	Scott D. Stoller , Fred B. Schneider, Automated Analysis of Fault-Tolerance in Distributed Systems, Formal Methods in System Design, v.26 n.2, p.183-196, March 2005
	F. J. Meyer , D. K. Pradhan, Dynamic Testing Strategy for Distributed Systems, IEEE Transactions on Computers, v.38 n.3, p.356-365, March 1989
	F. B. Bastani , I.-L. Yen , I.-R. Chen, A Class of Inherently Fault Tolerant Distributed Programs, IEEE Transactions on Software Engineering, v.14 n.10, p.1432-1442, October 1988
	Thomas Moscibroda , Stefan Schmid , Roger Wattenhofer, When selfish meets evil: byzantine players in a virus inoculation game, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
	Vivek Pathak , Liviu Iftode, Byzantine fault tolerant public key authentication in peer-to-peer systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.50 n.4, p.579-596, 15 March 2006
	Vincenzo De Florio , Chris Blondia, The algorithm of pipelined gossiping, Journal of Systems Architecture: the EUROMICRO Journal, v.52 n.4, p.235-256, April 2006
	Gregory Chockler , Dahlia Malkhi, Active disk Paxos with infinitely many processes, Distributed Computing, v.18 n.1, p.73-84, July 2005
	Partha Dutta , Rachid Guerraoui, The inherent price of indulgence, Distributed Computing, v.18 n.1, p.85-98, July 2005
	Yi Zhao , Farokh B. Bastani, A self-adjusting algorithm for byzantine agreement, Distributed Computing, v.5 n.4, p.219-226, April 1992
	Kuo-Feng Ssu , Chih-Hsun Chou , Hewijin Christine Jiau , Wei-Te Hu, Detection and diagnosis of data inconsistency failures in wireless sensor networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.50 n.9, p.1247-1260, 20 June 2006
	Santosh K. Shrivastava , Paul D. Ezhilchelvan , Neil A. Speirs , Sha Tao , Alan Tully, Principal Features of the VOLTAN Family of Reliable Node Architectures for Distributed Systems, IEEE Transactions on Computers, v.41 n.5, p.542-549, May 1992
	Christian Cachin , Klaus Kursawe , Anna Lysyanskaya , Reto Strobl, Asynchronous verifiable secret sharing and proactive cryptosystems, Proceedings of the 9th ACM conference on Computer and communications security, November 18-22, 2002, Washington, DC, USA
	Miguel Correia , Nuno Ferreira Neves , Lau Cheuk Lung , Paulo Veríssimo, Low complexity Byzantine-resilient consensus, Distributed Computing, v.17 n.3, p.237-249, March 2005
	Stefan Poslad , Juan Jim Tan , Xuan Huang , Landong Zuo, Middleware for semantic-based security and safety management of open services, International Journal of Web and Grid Services, v.1 n.3/4, p.305-327, December 2005
	Pratik K. Biswas , Hairong Qi , Yingyue Xu, Mobile-agent-based collaborative sensor fusion, Information Fusion, v.9 n.3, p.399-411, July, 2008
	Vincenzo De Florio , Chris Blondia, A survey of linguistic structures for application-level fault tolerance, ACM Computing Surveys (CSUR), v.40 n.2, p.1-37, April 2008
	Baruch Awerbuch , Reza Curtmola , David Holmer , Cristina Nita-Rotaru , Herbert Rubens, ODSBR: An on-demand secure Byzantine resilient routing protocol for wireless ad hoc networks, ACM Transactions on Information and System Security (TISSEC), v.10 n.4, p.1-35, January 2008
	Ignacy Gawedzki , Khaldoun Al Agha, How to avoid packet droppers with proactive routing protocols for ad hoc networks, International Journal of Network Management, v.18 n.2, p.195-208, March 2008
	William S. Lloyd, Exploring the Byzantine generals problem with beginning computer science students, ACM SIGCSE Bulletin, v.26 n.4, p.21-24, Dec. 1994
	Rachid Guerraoui , Marko VukoliĆ, Refined quorum systems, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
	Shu-Ching Wang , Chieng-Fu Cheng, Eventually Dual Failure Agreement, Fundamenta Informaticae, v.57 n.1, p.79-99, January 2003
	Remco M. Dijkman , Teduh Dirgahayu , Dick A. Quartel, The adequacy of languages for representing interaction mechanisms, Information Systems Frontiers, v.9 n.4, p.359-373, September 2007
	Alysson Neves Bessani , Joni da Silva Fraga , Lau Cheuk Lung, BTS: a Byzantine fault-tolerant tuple space, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France
	Benoît Garbinato , Ian Rickebusch, Orchestrating fair exchanges between mutually distrustful web services, Proceedings of the 3rd ACM workshop on Secure web services, November 03-03, 2006, Alexandria, Virginia, USA
	Bogdan S. Chlebus , Dariusz R. Kowalski, Robust gossiping with an application to consensus, Journal of Computer and System Sciences, v.72 n.8, p.1262-1281, December, 2006
	Miguel Correia , Nuno Ferreira Neves , Lau Cheuk Lung , Paulo Veríssimo, Worm-IT - A wormhole-based intrusion-tolerant group communication system, Journal of Systems and Software, v.80 n.2, p.178-197, February, 2007
	Ueli Maurer, Secure multi-party computation made simple, Discrete Applied Mathematics, v.154 n.2, p.370-381, 1 February 2006
	Antonio Fernández , Chryssis Georgiou , Alexander Russell , Alex A. Shvartsman, The Do-All problem with Byzantine processor failures, Theoretical Computer Science, v.333 n.3, p.433-454, 3 March 2005
	Ittai Abraham , Danny Dolev , Rica Gonen , Joe Halpern, Distributed computing meets game theory: robust mechanisms for rational secret sharing and multiparty computation, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
	Rachid Guerraoui , Marko Vukolić, How fast can a very robust read be?, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
	Christian Mönch , Gisle Grimen , Roger Midtstraum, Protecting online games against cheating, Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games, October 30-31, 2006, Singapore
	Giovanni Mella , Elena Ferrari , Elisa Bertino , Yunhua Koglin, Controlled and cooperative updates of XML documents in byzantine and failure-prone distributed systems, ACM Transactions on Information and System Security (TISSEC), v.9 n.4, p.421-460, November 2006
	Sangchul Song , Joseph JaJa, New techniques for ensuring the long term integrity of digital archives, Proceedings of the 8th annual international conference on Digital government research: bridging disciplines & domains, May 20-23, 2007, Philadelphia, Pennsylvania
	Yehuda Lindell , Anna Lysyanskaya , Tal Rabin, On the composition of authenticated Byzantine Agreement, Journal of the ACM (JACM), v.53 n.6, p.881-917, November 2006
	Soe-Tsyr Yuan , Fang-Yu Chen, UbiSrvInt - a context-aware fault-tolerant approach toward wireless P2P service provision, Expert Systems with Applications: An International Journal, v.32 n.3, p.726-752, April, 2007
	Andreas Haeberlen , Petr Kouznetsov , Peter Druschel, The case for Byzantine fault detection, Proceedings of the 2nd conference on Hot Topics in System Dependability, p.5-5, November 08, 2006, Seattle, WA
	Alan T. Sherman , Aryya Gangopadhyay , Stephen H. Holden , George Karabatis , A. Gunes Koru , Chris M. Law , Donald F. Norris , John Pinkston , Andrew Sears , Dongsong Zhang, An examination of vote verification technologies: findings and experiences from the Maryland study, Proceedings of the USENIX/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop, p.10-10, August 01, 2006, Vancouver, B.C., Canada
	Michael Abd-El-Malek , William V. Courtright, II , Chuck Cranor , Gregory R. Ganger , James Hendricks , Andrew J. Klosterman , Michael Mesnier , Manish Prasad , Brandon Salmon , Raja R. Sambasivan , Shafeeq Sinnamohideen , John D. Strunk , Eno Thereska , Matthew Wachs , Jay J. Wylie, Ursa minor: versatile cluster-based storage, Proceedings of the 4th conference on USENIX Conference on File and Storage Technologies, p.5-5, December 13-16, 2005, San Francisco, CA
	Jonathon T. Giffin , Somesh Jha , Barton P. Miller, Detecting Manipulated Remote Call Streams, Proceedings of the 11th USENIX Security Symposium, p.61-79, August 05-09, 2002
	Petros Maniatis , Mary Baker, Secure History Preservation Through Timeline Entanglement, Proceedings of the 11th USENIX Security Symposium, p.297-312, August 05-09, 2002
	Cheng-Kang Chu , Wen-Guey Tzeng, Optimal resilient threshold GQ signatures, Information Sciences: an International Journal, v.177 n.8, p.1834-1851, April, 2007
	Debanjan Ghosh , Raj Sharman , H. Raghav Rao , Shambhu Upadhyaya, Self-healing systems - survey and synthesis, Decision Support Systems, v.42 n.4, p.2164-2185, January, 2007
	James Hendricks , Gregory R. Ganger , Michael K. Reiter, Low-overhead byzantine fault-tolerant storage, ACM SIGOPS Operating Systems Review, v.41 n.6, December 2007
	Ali Ebnenasir, Diconic addition of failsafe fault-tolerance, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Hakim Weatherspoon , Patrick Eaton , Byung-Gon Chun , John Kubiatowicz, Antiquity: exploiting a secure log for wide-area distributed storage, ACM SIGOPS Operating Systems Review, v.41 n.3, June 2007
	Senthilkumar G. Cheetancheri , John Mark Agosta , Denver H. Dash , Karl N. Levitt , Jeff Rowe , Eve M. Schooler, A distributed host-based worm detection system, Proceedings of the 2006 SIGCOMM workshop on Large-scale attack defense, p.107-113, September 11-15, 2006, Pisa, Italy
	Douglas Herbert , Vinaitheerthan Sundaram , Yung-Hsiang Lu , Saurabh Bagchi , Zhiyuan Li, Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.2 n.3, p.8-es, September 2007
	Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Bastian Pochon, The perfectly synchronized round-based model of distributed computing, Information and Computation, v.205 n.5, p.783-815, May, 2007
	K. Q. Yan , S. C. Wang , G. Y. Zheng, Dual agreement virtual subnet protocol for mobile ad-hoc networks, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Robert John Walters , Peter Henderson , Stephen Crouch, Selecting a distributed agreement algorithm, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Meng Yu , Peng Liu , Wanyu Zang, Specifying and using intrusion masking models to process distributed operations, Journal of Computer Security, v.13 n.4, p.623-658, July 2005
	Anish Arora , Marvin Theimer, On modeling and tolerating incorrect software, Journal of High Speed Networks, v.14 n.2, p.109-134, April 2005
	Peter Gradwell , Julian Padget, Markets vs auctions: Approaches to distributed combinatorial resource scheduling, Multiagent and Grid Systems, v.1 n.4, p.251-262, December 2005
	Rohit Khare , Richard N. Taylor, Extending the Representational State Transfer (REST) Architectural Style for Decentralized Systems, Proceedings of the 26th International Conference on Software Engineering, p.428-437, May 23-28, 2004
	Jinsong Ouyang , Piyush Maheshwari, Supporting Cost-Effective Fault Tolerance in Distributed Message-Passing Applications with File Operations, The Journal of Supercomputing, v.14 n.3, p.207-232, Dec.1.1999
	Rex E. Gantenbein, An annotated bibliography of dependable distributed computing, ACM SIGOPS Operating Systems Review, v.26 n.2, p.60-81, April 1992
	Jian Tang , Ada Waichee Fu , Jari Veijalainen, Supporting Dispute Handling in E-Commerce Transactions, a Framework and Related Methodologies, Electronic Commerce Research, v.4 n.4, p.393-413, October 2004
	Felix Brandt , Tuomas Sandholm, (Im)Possibility of Unconditionally Privacy-Preserving Auctions, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, p.810-817, July 19-23, 2004, New York, New York
	Claudio Pinello , Luca P. Carloni , Alberto L. Sangiovanni-Vincentelli, Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications, Proceedings of the conference on Design, automation and test in Europe, p.21164, February 16-20, 2004
	Pascale Minet , Emmanuelle Anceaume, Atomic broadcast in one phase, ACM SIGOPS Operating Systems Review, v.25 n.2, p.87-90, April 1991
	Felix Brandt , Tuomas Sandholm, On the Existence of Unconditionally Privacy-Preserving Auction Protocols, ACM Transactions on Information and System Security (TISSEC), v.11 n.2, p.1-21, March 2008
	Samuel T. King , Joseph Tucek , Anthony Cozzie , Chris Grier , Weihang Jiang , Yuanyuan Zhou, Designing and implementing malicious hardware, Proceedings of the 1st Usenix Workshop on Large-Scale Exploits and Emergent Threats, p.1-8, April 15-15, 2008, San Francisco, California
	Olga Brukman , Shlomi Dolev , Elliot K. Kolodner, A self-stabilizing autonomic recoverer for eventual Byzantine software, Journal of Systems and Software, v.81 n.12, p.2315-2327, December, 2008
	Girish Suryanarayana , Justin R. Erenkrantz , Richard N. Taylor, An Architectural Approach for Decentralized Trust Management, IEEE Internet Computing, v.9 n.6, p.16-23, November 2005
	Alper Tugay Mizrak , Yu-Chung Cheng , Keith Marzullo , Stefan Savage, Detecting and Isolating Malicious Routers, IEEE Transactions on Dependable and Secure Computing, v.3 n.3, p.230-244, July 2006
	Keiji Ozaki , Kenichi Watanabe , Tomoya Enokido , Makoto Takizawa, A Fault-Tolerant Model of Wireless Sensor-Actuator Network, International Journal of Distributed Sensor Networks, v.4 n.2, p.110-128, April 2008
	Bai Li , Lynn Batten, Using mobile agents to recover from node and database compromise in path-based DoS attacks in wireless sensor networks, Journal of Network and Computer Applications, v.32 n.2, p.377-387, March, 2009
	M. L. Chiang , S. C. Wang , L. Y. Tseng, The incremental agreement, Information Processing Letters, v.107 n.5, p.165-170, August, 2008
	Satish M. Srinivasan , Azad H. Azadmanesh, Data aggregation in partially connected networks, Computer Communications, v.32 n.4, p.594-601, March, 2009
	Louis K. Helm, Quantum distributed consensus, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
	Christoph Krauí , Markus Schneider , Claudia Eckert, On handling insider attacks in wireless sensor networks, Information Security Tech. Report, v.13 n.3, p.165-172, August, 2008
	Saurabh Ganeriwal , Christina Pöpper , Srdjan Čapkun , Mani B. Srivastava, Secure Time Synchronization in Sensor Networks, ACM Transactions on Information and System Security (TISSEC), v.11 n.4, p.1-35, July 2008
	Andreas Haeberlen , Petr Kouznetsov , Peter Druschel, PeerReview: practical accountability for distributed systems, ACM SIGOPS Operating Systems Review, v.41 n.6, December 2007
	Kok-Wah Lee , Hong-Tat Ewe, Performance study of Byzantine Agreement Protocol with artificial neural network, Information Sciences: an International Journal, v.177 n.21, p.4785-4798, November, 2007
	Martin Biely , Josef Widder , Bernadette Charron-Bost , Antoine Gaillard , Martin Hutle , André Schiper, Tolerating corrupted communication, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
	Byung-Gon Chun , Petros Maniatis , Scott Shenker , John Kubiatowicz, Attested append-only memory: making adversaries stick to their word, ACM SIGOPS Operating Systems Review, v.41 n.6, December 2007
	Allen Clement , Jeff Napper , Harry Li , Jean-Philipe Martin , Lorenzo Alvisi , Michael Dahlin, Theory of BAR games, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
	Lee Pike, Model checking for the practical verificationist: a user's perspective on SAL, Proceedings of the second workshop on Automated formal methods, p.21-31, November 06-06, 2007, Atlanta, Georgia
	Kenichi Watanabe , Yoshio Nakajima , Tomoya Enokido , Makoto Takizawa, Ranking factors in peer-to-peer overlay networks, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.2 n.3, p.11-es, September 2007
	Nicola Santoro , Peter Widmayer, Agreement in synchronous networks with ubiquitous faults, Theoretical Computer Science, v.384 n.2-3, p.232-249, October, 2007
	Esther Palomar , Juan M. E. Tapiador , Julio C. Hernandez-Castro , Arturo Ribagorda, Secure content access and replication in pure P2P networks, Computer Communications, v.31 n.2, p.266-279, February, 2008
	Qing Zhang , Ting Yu , Peng Ning, A Framework for Identifying Compromised Nodes in Wireless Sensor Networks, ACM Transactions on Information and System Security (TISSEC), v.11 n.3, p.1-37, March 2008
	James Cowling , Daniel Myers , Barbara Liskov , Rodrigo Rodrigues , Liuba Shrira, HQ replication: a hybrid quorum protocol for byzantine fault tolerance, Proceedings of the 7th symposium on Operating systems design and implementation, November 06-08, 2006, Seattle, Washington
	Ramakrishna Kotla , Allen Clement , Edmund Wong , Lorenzo Alvisi , Mike Dahlin, Zyzzyva: speculative Byzantine fault tolerance, Communications of the ACM, v.51 n.11, November 2008
	Vincenzo De Florio , Chris Blondia, On the requirements of new software development, International Journal of Business Intelligence and Data Mining, v.3 n.3, p.330-349, December 2008
	Azad Azadmanesh , Axel Krings , Daryush Laqab, Multicast survivability in hierarchical broadcast networks, WSEAS TRANSACTIONS on COMMUNICATIONS, v.7 n.6, p.663-674, June 2008
	Shu-Ching Wang , Kuo-Qin Yan , Mao-Lun Chiang, Optimal Agreement in a Scale-Free Network Environment, Informatica, v.17 n.1, p.137-150, January 2006
	Kevin Bauer , Damon McCoy , Dirk Grunwald , Douglas Sicker, BitBlender: light-weight anonymity for BitTorrent, Proceedings of the workshop on Applications of private and anonymous communications, p.1-8, September 22-25, 2008, Istanbul, Turkey
	Michele Banci , Alessandro Fantechi , Stefania Gnesi, Statecharts Composition To Model Topologically Distributed Applications, Journal of Integrated Design & Process Science, v.10 n.1, p.1-15, January 2006
	Adam Wierzbicki , Tomasz Kaszuba, Practical trust management without reputation in peer-to-peer games, Multiagent and Grid Systems, v.3 n.4, p.411-428, December 2007
	Yingpeng Sang , Hong Shen, Privacy preserving set intersection based on bilinear groups, Proceedings of the thirty-first Australasian conference on Computer science, January 01-01, 2008, Wollongong, Australia
	Ailixier Aikebaier , Tomoya Enokido , Makoto Takizawa, A distributed coordination protocol in an order-heterogeneous group, International Journal of Web and Grid Services, v.4 n.1, p.5-23, May 2008
	John Felix Charles Joseph , Amitabha Das , Boon-Chong Seet , Bu-Sung Lee, Opening the Pandora's Box: Exploring the fundamental limitations of designing intrusion detection for MANET routing attacks, Computer Communications, v.31 n.14, p.3178-3189, September, 2008
	Jung-Chun Kao , Radu Marculescu, Minimizing Eavesdropping Risk by Transmission Power Control in Multihop Wireless Networks, IEEE Transactions on Computers, v.56 n.8, p.1009-1023, August 2007
	Claudio Basile , Zbigniew Kalbarczyk , Ravishankar K. Iyer, Inner-Circle Consistency for Wireless Ad Hoc Networks, IEEE Transactions on Mobile Computing, v.6 n.1, p.39-55, January 2007
	Chris Lesniewski-Laas, A Sybil-proof one-hop DHT, Proceedings of the 1st workshop on Social network systems, p.19-24, April 01-01, 2008, Glasgow, Scotland
	Kalman Graffi , Aleksandra Kovacevic , Nicolas Liebau , Ralf Steinmetz, From cells to organisms: long-term guarantees on service provisioning in peer-to-peer networks, Proceedings of the 8th international conference on New technologies in distributed systems, June 23-27, 2008, Lyon, France
	Zhanshan (Sam) Ma , Axel W. Krings, Dynamic hybrid fault models and the applications to wireless sensor networks (WSNs), Proceedings of the 11th international symposium on Modeling, analysis and simulation of wireless and mobile systems, October 27-31, 2008, Vancouver, British Columbia, Canada
	Axel Krings, Design for survivability: a tradeoff space, Proceedings of the 4th annual workshop on Cyber security and informaiton intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead, May 12-14, 2008, Oak Ridge, Tennessee
	Idris M. Atakli , Hongbing Hu , Yu Chen , Wei Shinn Ku , Zhou Su, Malicious node detection in wireless sensor networks using weighted trust evaluation, Proceedings of the 2008 Spring simulation multiconference, April 14-17, 2008, Ottawa, Canada
	Miguel Correia , Alysson Neves Bessani , Paulo Veríssimo, Research note: On Byzantine generals with alternative plans, Journal of Parallel and Distributed Computing, v.68 n.9, p.1291-1296, September, 2008
	Chien-Fu Cheng , Shu-Ching Wang , Tyne Liang, Byzantine Agreement & Fault Diagnosis Agreement in Dynamic Ad-Hoc Environment, Fundamenta Informaticae, v.89 n.2-3, p.161-187, January 2009
	Anatoliy Gorbenko , Vyacheslav Kharchenko , Olga Tarasyuk , Yuhui Chen , Alexander Romanovsky, The threat of uncertainty in service-oriented architecture, Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems, November 17-19, 2008, Newcastle upon Tyne, United Kingdom
	Jonathan Katz , Chiu-Yuen Koo, On expected constant-round protocols for Byzantine agreement, Journal of Computer and System Sciences, v.75 n.2, p.91-112, February, 2009
	R. Guerraoui , N. Lynch, A general characterization of indulgence, ACM Transactions on Autonomous and Adaptive Systems (TAAS), v.3 n.4, p.1-19, November 2008
	Hein Meling , Alberto Montresor , Bjarne E. Helvik , Ozalp Babaoglu, Jgroup-ARM: a distributed object group platform with autonomous replication management, Software—Practice & Experience, v.38 n.9, p.885-923, July 2008
	Hui-Ching Hsieh , Jenq-Shiou Leu , Yen-Chiu Chen , Wei-Kuan Shih, Improving fault-tolerant scheme for a time-sensitive autonomous local wireless sensor network, Proceedings of the International Conference on Mobile Technology, Applications, and Systems, September 10-12, 2008, Yilan, Taiwan
	Mao-Lun Chiang , Shu-Ching Wang , Lin-Yu Tseng, An early fault diagnosis agreement under hybrid fault model, Expert Systems with Applications: An International Journal, v.36 n.3, p.5039-5050, April, 2009
	S. Blanc , A. Bonastre , P. J. Gil, Dependability assessment of by-wire control systems using fault injection, Journal of Systems Architecture: the EUROMICRO Journal, v.55 n.2, p.102-113, February, 2009
	Håvard Johansen , Dag Johansen, Resilient software mirroring with untrusted third parties, Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, October 20-20, 2008, Nashville, Tennessee
	A. V. Lobanov, Models of closed multimachine computer systems with transient-fault-tolerance and fault-tolerance on the basis of replication under byzantine faults, Automation and Remote Control, v.70 n.2, p.328-343, February 2009
	Federico Mari , Igor Melatti , Ivano Salvo , Enrico Tronci , Lorenzo Alvisi , Allen Clement , Harry Li, Model checking nash equilibria in MAD distributed systems, Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design, p.1-8, November 17-20, 2008, Portland, Oregon
	Natalya Fedotova , Luca Veltri, Reputation management algorithms for DHT-based peer-to-peer environment, Computer Communications, v.32 n.12, p.1400-1409, July, 2009
	Wenbing Zhao, Design and implementation of a Byzantine fault tolerance framework for Web services, Journal of Systems and Software, v.82 n.6, p.1004-1015, June, 2009
	Allen Clement , Edmund Wong , Lorenzo Alvisi , Mike Dahlin , Mirco Marchetti, Making Byzantine fault tolerant systems tolerate Byzantine faults, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.153-168, April 22-24, 2009, Boston, Massachusetts
	Dave Levin , John R. Douceur , Jacob R. Lorch , Thomas Moscibroda, TrInc: small trusted hardware for large distributed systems, Proceedings of the 6th USENIX symposium on Networked systems design and implementation, p.1-14, April 22-24, 2009, Boston, Massachusetts
	Mark L. James , Andrew A. Shapiro , Paul L. Springer , Hans P. Zima, Adaptive Fault Tolerance for Scalable Cluster Computing in Space, International Journal of High Performance Computing Applications, v.23 n.3, p.227-241, August 2009
	Zhanshan (Sam) Ma , Axel W. Krings , Frederick T. Sheldon, An outline of the three-layer survivability analysis architecture for strategic information warfare research, Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies, April 13-15, 2009, Oak Ridge, Tennessee
	Bogdan S. Chlebus , Dariusz R. Kowalski , Michal Strojnowski, Fast scalable deterministic consensus for crash failures, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
	Mathias Dalheimer , Franz-Josef Pfreundt, GenLM: License Management for Grid and Cloud Computing Environments, Proceedings of the 2009 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, p.132-139, May 18-21, 2009
	Cynthia Dwork , Nancy Lynch , Larry Stockmeyer, Consensus in the presence of partial synchrony (Preliminary Version), Proceedings of the third annual ACM symposium on Principles of distributed computing, p.103-118, August 27-29, 1984, Vancouver, British Columbia, Canada
	Wenbing Zhao , Honglei Zhang , Hua Chai, A lightweight fault tolerance framework for Web services, Web Intelligence and Agent Systems, v.7 n.3, p.255-268, August 2009
	Stefano Marano , Vincenzo Matta , Lang Tong, Distributed detection in the presence of Byzantine attacks, IEEE Transactions on Signal Processing, v.57 n.1, p.16-29, January 2009
	K. Q. Yan , S. C. Wang, Grouping Byzantine Agreement, Computer Standards & Interfaces, v.28 n.1, p.75-92, July, 2005
	Hongbing Hu , Yu Chen , Wei-Shinn Ku , Zhou Su , Chung-Han J. Chen, Weighted trust evaluation-based malicious node detection for wireless sensor networks, International Journal of Information and Computer Security, v.3 n.2, p.132-149, October 2009
	Jiwoong Lee , Jean Walrand, Reliable relaying with uncertain knowledge, Proceedings of the First ICST international conference on Game Theory for Networks, p.82-87, May 13-15, 2009, Istanbul, Turkey
	Ricardo J. Rodriguez, Byzantine generals' problem driven dynamic trust replication method for cognitive mobile ad hoc networks (MANETs), Proceedings of the 8th WSEAS international conference on Data networks, communications, computers, p.31-34, November 07-09, 2009, Baltimore, MD, USA
	Ricardo J. Rodriguez, Byzantine generals' problem driven dynamic trust replication method for cognitive mobile ad hoc networks (MANETs), Proceedings of the 8th WSEAS international conference on Data networks, communications, computers, p.31-34, November 07-09, 2009, Baltimore, MD, USA
	Alain Girault , Éric Rutten, Automating the addition of fault tolerance with discrete controller synthesis, Formal Methods in System Design, v.35 n.2, p.190-225, October 2009
	Pietro Baroni , Massimiliano Giacomin , Giovanni Guida, Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems, Artificial Intelligence, v.165 n.2, p.187-259, July 2005
	Vivek Pathak , Liviu Iftode, Byzantine fault tolerant public key authentication in peer-to-peer systems, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.50 n.4, p.579-596, 15 March 2006
	Michael Okun, On the round complexity of Byzantine agreement without initial set-up, Information and Computation, v.207 n.12, p.1351-1368, December, 2009
	Xubin He , Li Ou , Christian Engelmann , Xin Chen , Stephen L. Scott, Symmetric active/active metadata service for high availability parallel file systems, Journal of Parallel and Distributed Computing, v.69 n.12, p.961-973, December, 2009
	Allen Clement , Manos Kapritsos , Sangmin Lee , Yang Wang , Lorenzo Alvisi , Mike Dahlin , Taylor Riche, Upright cluster services, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, October 11-14, 2009, Big Sky, Montana, USA
	Nikolaos Michalakis , Dah-Ming Chiu , David S. H. Rosenthal, Long-term data resilience using opinion polls, Sun Microsystems, Inc., Mountain View, CA, 2002
	Shu-Ching Wang , Kuo-Qin Yan, Byzantine Agreement under dual failure mobile network, Computer Standards & Interfaces, v.28 n.4, p.475-492, April, 2006
	Kuo-Feng Ssu , Chih-Hsun Chou , Hewijin Christine Jiau , Wei-Te Hu, Detection and diagnosis of data inconsistency failures in wireless sensor networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.50 n.9, p.1247-1260, 20 June 2006
	Yingpeng Sang , Hong Shen, Efficient and secure protocols for privacy-preserving set operations, ACM Transactions on Information and System Security (TISSEC), v.13 n.1, p.1-35, October 2009
	Ailixier Aikebaier , Makoto Takizawa, A protocol for reliably, flexibly, and efficiently making agreement among peers, International Journal of Web and Grid Services, v.5 n.4, p.356-371, December 2009
	Daniel Uhlig , Negar Kiyavash , Natasha Neogi, Distributed triangulation in the presence faulty and byzantine beacons in aircraft networks with ADS-B technology, Proceedings of the 2009 conference on American Control Conference, p.4956-4961, June 10-12, 2009, St. Louis, Missouri, USA
	Kenji Saito , Kendai Miyazawa, Rapid P2P overlay network programming on a distributed reduction machine, Proceedings of the 6th IEEE Conference on Consumer Communications and Networking Conference, p.1262-1266, January 11-13, 2009, Las Vegas, NV, USA
	Oliver Kosut , Lang Tong, The quadratic Gaussian CEO problem with Byzantine agents, Proceedings of the 2009 IEEE international conference on Symposium on Information Theory, p.1145-1149, June 28-July 03, 2009, Coex, Seoul, Korea
	MinJi Kim , Muriel Médard , João Barros , Ralf Kötter, An algebraic watchdog for wireless network coding, Proceedings of the 2009 IEEE international conference on Symposium on Information Theory, p.1159-1163, June 28-July 03, 2009, Coex, Seoul, Korea