ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
The Byzantine Generals Problem
Full text PdfPdf (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): 85,   Downloads (12 Months): 789,   Citation Count: 340
Additional Information:

references   cited by   index terms   collaborative colleagues   peer to peer  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
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  341
L. Lamport, The Weak Byzantine Generals Problem, Journal of the ACM (JACM), v.30 n.3, p.668-676, July 1983
 
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
 
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
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
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
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
 
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
 
Richard R. Brooks , S. Sitharama Iyengar, Robust Distributed Computing and Sensing Algorithm, Computer, v.29 n.6, p.53-60, June 1996
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
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
 
Byoung Min Joon, Intrusion-Tolerant Server Architecture for Survivable Services, The Journal of Supercomputing, v.33 n.1, p.93-102, July 2005
 
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
 
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
 
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
 
P. Ramanathan , K. G. Shin, Reliable Broadcast in Hypercube Multicomputers, IEEE Transactions on Computers, v.37 n.12, p.1654-1657, December 1988
 
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
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
 
M. L. Chiang , S. C. Wang , L. Y. Tseng, The incremental agreement, Information Processing Letters, v.107 n.5, p.165-170, August, 2008
 
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
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
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
Mordechai Ben-Ari, Distributed algorithms in Java, ACM SIGCSE Bulletin, v.29 n.3, p.62-64, Sept. 1997
Leslie Lamport , P M Melliar Smith, Byzantine clock synchronization, ACM SIGOPS Operating Systems Review, v.20 n.3, p.10-16, July, 1986
 
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
 
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
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
Peter G. Neumann, Risks to the public, ACM SIGSOFT Software Engineering Notes, v.30 n.6, November 2005
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
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
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
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
Gabriel Bracha , Sam Toueg, Asynchronous consensus and broadcast protocols, Journal of the ACM (JACM), v.32 n.4, p.824-840, Oct. 1985
 
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
 
Nitin H. Vaidya , Dhiraj K. Pradhan, Degradable Byzantine Agreement, IEEE Transactions on Computers, v.44 n.1, p.146-150, January 1995
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
 
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, 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
 
James E. Burns , Gil Neiger, Fast and simple distributed consensus, Distributed Computing, v.8 n.2, p.59-64, October 1994
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
 
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
 
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
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
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
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
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
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
 
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
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
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
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
 
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
 
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
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
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
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
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
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
 
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
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. 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
 
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
Pascale Minet , Emmanuelle Anceaume, Atomic broadcast in one phase, ACM SIGOPS Operating Systems Review, v.25 n.2, p.87-90, April 1991
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
 
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
 
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
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
 
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
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
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
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
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
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
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
 
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
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
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
 
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
 
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
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
 
William D. Young, Comparing Verification Systems: Interactive Consistency in ACL2, IEEE Transactions on Software Engineering, v.23 n.4, p.214-223, April 1997
 
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
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
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
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
 
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
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
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
 
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
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
Mordechai Ben-Ari, Interactive execution of distributed algorithms, Journal on Educational Resources in Computing (JERIC), v.1 n.2es, Summer 2001
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
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
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
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 Merritt , Ohad Rodeh, Secure reliable multicast protocols in a WAN, Distributed Computing, v.13 n.1, p.19-28, January 2000
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
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
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
 
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
 
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
Louis K. Helm, Quantum distributed consensus, Proceedings of the twenty-seventh ACM symposium on Principles of distributed computing, August 18-21, 2008, Toronto, Canada
 
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
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
 
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
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
Michael Reiter, Distributing trust with the Rampart toolkit, Communications of the ACM, v.39 n.4, p.71-74, April 1996
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
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
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
Douglas Wiebe, A distributed repository for immutable persistent objects, ACM SIGPLAN Notices, v.21 n.11, p.453-465, Nov. 1986
 
John Turek , Dennis Shasha, The Many Faces of Consensus in Distributed Systems, Computer, v.25 n.6, p.8-17, June 1992
 
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
 
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
 
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
 
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
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
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
 
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
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
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
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
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
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
 
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
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
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
 
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
 
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
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
 
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
 
Rogério Drummond , Özalp Babaoğlu, Low-cost clock synchronization, Distributed Computing, v.6 n.4, p.193-203, July 1993
 
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
 
Partha Dutta , Rachid Guerraoui, The inherent price of indulgence, Distributed Computing, v.18 n.1, p.85-98, July 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
 
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
 
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
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
 
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
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
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
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
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
 
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
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
 
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
 
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
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
 
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
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
 
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
 
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
 
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
 
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
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
 
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
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
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
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
 
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
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
 
Gil Neiger , Mark R. Tuttle, Common knowledge and consistent simultaneous coordination, Distributed Computing, v.6 n.3, p.181-192, April 1993
 
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
 
Yi Zhao , Farokh B. Bastani, A self-adjusting algorithm for byzantine agreement, Distributed Computing, v.5 n.4, p.219-226, April 1992
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
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
 
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
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
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
 
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
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
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
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
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
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
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
 
Seungjin Park , Bella Bose, All-to-All Broadcasting in Faulty Hypercubes, IEEE Transactions on Computers, v.46 n.7, p.749-755, July 1997
 
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
 
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
 
Shu-Ching Wang , Chieng-Fu Cheng, Eventually Dual Failure Agreement, Fundamenta Informaticae, v.57 n.1, p.79-99, January 2003
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
 
Petros Maniatis , Mary Baker, Secure History Preservation Through Timeline Entanglement, Proceedings of the 11th USENIX Security Symposium, p.297-312, August 05-09, 2002
 
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
 
Anish Arora , Marvin Theimer, On modeling and tolerating incorrect software, Journal of High Speed Networks, v.14 n.2, p.109-134, April 2005
 
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
 
Satish M. Srinivasan , Azad H. Azadmanesh, Data aggregation in partially connected networks, Computer Communications, v.32 n.4, p.594-601, March, 2009
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
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
 
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
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
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
 
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
 
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
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
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
J R Agre, A message-based fault diagnosis procedure, ACM SIGCOMM Computer Communication Review, v.16 n.3, p.328-337, Aug. 5, 1986
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
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
Jo-Mei Chang, Simplifying distributed database systems design by using a broadcast network, ACM SIGMOD Record, v.14 n.2, June 1984
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
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
 
Brian A. Coan, Efficient agreement using fault diagnosis, Distributed Computing, v.7 n.2, p.87-98, December 1993
 
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
 
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
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
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
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
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
 
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
 
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
 
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
 
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
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
 
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
 
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
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
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
 
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
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
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
 
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
 
Nian-Feng Tzeng , Sizheng Wei, Enhanced Hypercubes, IEEE Transactions on Computers, v.40 n.3, p.284-294, March 1991
 
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
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
 
Ueli Maurer, Secure multi-party computation made simple, Discrete Applied Mathematics, v.154 n.2, p.370-381, 1 February 2006
 
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
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
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
 
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
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
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
 
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
 
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
 
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
 
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
 
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
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
Ö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
 
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
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
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
 
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
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
 
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
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
 
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
 
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
 
Rachid Guerraoui , Michel Raynal, The Information Structure of Indulgent Consensus, IEEE Transactions on Computers, v.53 n.4, p.453-466, April 2004
 
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
 
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
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
 
Shlomi Dolev, Possible and Impossible Self-Stabilizing Digital ClockSynchronization in General Graphs, Real-Time Systems, v.12 n.1, p.95-107, Jan. 1997
 
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
 
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
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
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
 
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
 
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
 
Pratik K. Biswas , Hairong Qi , Yingyue Xu, Mobile-agent-based collaborative sensor fusion, Information Fusion, v.9 n.3, p.399-411, July, 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
 
Rachid Guerraoui , André Schiper, The Generic Consensus Service, IEEE Transactions on Software Engineering, v.27 n.1, p.29-41, January 2001
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
 
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
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
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
 
Fernando Pedone , Rachid Guerraoui , André Schiper, The Database State Machine Approach, Distributed and Parallel Databases, v.14 n.1, p.71-98, July 2003
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
 
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
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
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
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
 
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
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
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
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
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
 
Bernadette Charron-Bost , André Schiper, Uniform consensus is harder than consensus, Journal of Algorithms, v.51 n.1, p.15-37, 1 April 2004
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
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
 
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
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
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
 
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
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
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
 
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
 
Nicola Santoro , Peter Widmayer, Agreement in synchronous networks with ubiquitous faults, Theoretical Computer Science, v.384 n.2-3, p.232-249, October, 2007
 
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
 
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
 
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
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
 
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
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
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
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
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
 
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
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
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
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
 
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
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
 
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
Andreas Haeberlen , Petr Kouznetsov , Peter Druschel, PeerReview: practical accountability for distributed systems, ACM SIGOPS Operating Systems Review, v.41 n.6, December 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
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
 
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
 
Gregory Chockler , Dahlia Malkhi, Active disk Paxos with infinitely many processes, Distributed Computing, v.18 n.1, p.73-84, July 2005
 
Jeff Kramer, Distributed software engineering, Proceedings of the 16th international conference on Software engineering, p.253-263, May 16-21, 1994, Sorrento, Italy
 
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
Arnold B. Urken, Social choice theory and distributed decision making, ACM SIGOIS Bulletin, v.9 n.2-3, p.158-168, April & July 1988
 
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
Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
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
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
 
David Peleg, Local majorities, coalitions and monopolies in graphs: a review, Theoretical Computer Science, v.282 n.2, p.231-257, 10 June 2002
 
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
 
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
Rex E. Gantenbein, An annotated bibliography of dependable distributed computing, ACM SIGOPS Operating Systems Review, v.26 n.2, p.60-81, April 1992
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
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
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
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
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
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
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
 
Faith Fich , Eric Ruppert, Hundreds of impossibility results for distributed computing, Distributed Computing, v.16 n.2-3, p.121-163, September 2003

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS

Additional Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.4 Communications Management
          Subjects: Network communication
      D.4.5 Reliability
          Subjects: Fault-tolerance


General Terms:
Algorithms, Design, Languages, Performance, Reliability, Theory

Collaborative Colleagues:
Leslie Lamport: colleagues
Robert Shostak: colleagues
Marshall Pease: colleagues

Peer to Peer - Readers of this Article have also read:

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player