Beyond one-third faulty replicas in byzantine fault tolerant systems

4th Symposium on Networked Systems Design and Implementation, NSDI 2007

Volumn , Issue , 2007, Pages 131-144

  Li, Jinyuan ^a   Mazières, David ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SYSTEMS ANALYSIS;

ARBITRARY FAILURES; BYZANTINE FAULT; DESIGN SPACES; LIVENESS; PERFORMANCE DEGRADATION; PROTOTYPE IMPLEMENTATIONS; SYSTEM BEHAVIORS;

FAULT TOLERANCE;

EID: 85094320125     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Michael Abd-El-Malek, Gregory R. Ganger, Garth R. Goodson, Michael K. Reiter, and Jay J. Wylie. Fault-scalable Byzantine fault-tolerant services. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, pages 59-74, Brighton, United Kingdom, October 2005. ACM.
2. Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, and Roger P. Wattenhofer. FARSITE: Federated, available, and reliable storage for an incompletely trusted environment. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation, pages 1-14, December 2002.
3. Amitanand S. Aiyer, Lorenzo Alvisi, Allen Clement, Michael Dahlin, Jean-Philippe Martin, and Carl Porth. BAR fault tolerance for cooperative services. In Proceedings of the 20th ACM Symposium on Operating Systems Principles, pages 45-58, Brighton, United Kingdom, October 2005. ACM.
4. Lorenzo Alvisi, Dahlia Malkhi, Evelyn Pierce, Michael K. Reiter, and Rebecca N. Wright. Dynamic Byzantine quorum systems. In Proceedings of the the International Conference on Dependable Systems and Networks (FTCS 30 and DCCA 8), pages 283-292, June 2000.
5. Christian Cachin and Jonathan A. Poritz. Secure intrusion-tolerant replication on the internet. In Proceedings of the 2002 International Conference on Dependable Systems and Networks, pages 167-176, 2002.
6. Miguel Castro and Barbara Liskov. Practical Byzantine fault tolerance. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, pages 173-186, New Orleans, LA, February 1999.
7. Miguel Castro and Barbara Liskov. Proactive recovery in a Byzantine-fault-tolerant system. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, pages 273-288, San Diego, CA, October 2000.
8. James Cowling, Daniel Myers, Barbara Liskov, Rodrigo Rodrigues, and Liuba Shrira. HQ replication: A hybrid quorum protocol for Byzantine fault tolerance. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation, pages 177-190, Seattle, WA, November 2006.
9. Maurice P. Herlihy and Jeannette M. Wing. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages Systems, 12(3):463-492, 1990.
10. Kim Potter Kihlstrom, L. E. Moser, and P. M. Melliar-Smith. The SecureRing group communication system. ACM Transactions on Information and System Security, 4(4):371-406, 2001.
11. Jinyuan Li, Maxwell Krohn, David Mazières, and Dennis Shasha. Secure untrusted data repository (SUNDR). In Proceedings of the 6th Symposium on Operating Systems Design and Implementation, pages 121-136, December 2004.
12. Dahlia Malkhi and Michael Reiter. Byzantine quorum system. In Proceedings of the ACM Symposium on Theory of Computing, pages 569-578, El Paso, TX, May 1997.
13. Dahlia Malkhi and Michael Reiter. Secure and scalable replication in Phalanx. In Proceedings of the 7th IEEE Symposium on Reliable Distributed Systems, pages 51-58, October 1998.
14. Dahlia Malkhi, Michael K. Reiter, Daniela Tulone, and Elisha Ziskind. Persistent objects in the Fleet system. In Proceedings of the 2nd DARPA Information Survivability Conference and Exposition (DISCEX II), 2001.
15. Petros Maniatis and Mary Baker. Secure history preservation through timeline entanglement. In Proceedings of the 11th USENIX Security Symposium, San Francisco, CA, August 2002.
16. David Mazières and Dennis Shasha. Building secure file systems out of Byzantine storage. In Proceedings of the 21st Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 108-117, July 2002. The full version is available as NYU computer science department technical report TR2002-826, May 2002.
17. Michael Reiter and Li Gong. Securing causal relationships in distributed systems. The Computer Journal, 38(8):633-642, 1995.
18. Michael K. Reiter. The Rampart toolkit for building highintegrity services. Lecture Notes in Computer Science 938, pages 99-110, 1994.
19. Sean Rhea, Patrick Eaton, and Dennis Geels. Pond: The OceanStore prototype. In 2nd USENIX conference on File and Storage Technologies (FAST'03), San Francisco, CA, April 2003.
20. Rodrigo Rodrigues, Miguel Castro, and Barbara Liskov. BASE: Using abstraction to improve fault tolerance. In Proceedings of the 18th ACM Symposium on Operating Systems Principles, pages 15-28, Chateau Lake Louise, Banff, Canada, October 2001. ACM.
21. Fred B. Schneider. Implementing fault-tolerant services using the state machine approach. ACM Computing Surveys, 22(4):299-319, December 1990.
22. Dale Skeen. Nonblocking commit protocols. In Proceedings of the 1981 ACM SIGMOD International Conference on Management of Data, Ann Arbor, MI, April 1981.
23. Sean W. Smith and J. D. Tygar. Security and privacy for partial order time. In Proceedings of the ISCA International Conference on Parallel and Distributed Computing Systems, pages 70-79, Las Vegas, NV, October 1994.
24. Jian Yin, Jean-Philippe Martin, Arun Venkataramani, Lorenzo Alvisi, and Mike Dahlin. Separating agreement from execution for Byzantine fault tolerant services. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 253-267, Bolton Landing, NY, October 2003. ACM.
25. Lidong Zhou, Fred B. Schneider, and Robbert van Renesse. COCA: A secure distributed on-line certification authority. ACM Transactions on Computer Systems, 20(4):329-368, November 2002.