Prime: Byzantine replication under attack

IEEE Transactions on Dependable and Secure Computing

Volumn 8, Issue 4, 2011, Pages 564-577

  Amir, Yair ^a   Coan, Brian ^b   Kirsch, Jonathan ^a   Lane, John ^a  

^a Whiting School of Engineering   (United States)

^b TELCORDIA TECHNOLOGIES   (United States)

Author keywords

Byzantine fault tolerance; distributed systems.; Performance under attack; replicated state machines

Indexed keywords

FAULT TOLERANCE;

ADVERSARIAL ENVIRONMENTS; BYZANTINE FAULT TOLERANCE; CORRECTNESS CRITERION; DISTRIBUTED SYSTEMS; PERFORMANCE DEGRADATION; PERFORMANCE UNDER ATTACK; REPLICATION PROTOCOL; STATE MACHINE;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 79957623137     PISSN: 15455971     EISSN: None     Source Type: Journal    
DOI: 10.1109/TDSC.2010.70     Document Type: Article

References (40)

1. Y. Amir, B. Coan, J. Kirsch, and J. Lane, "Byzantine Replication under Attack," Proc. 38th IEEE Int'l Conf. Dependable Systems and Networks, pp. 197-206, 2008.
2. M.J. Fischer, N.A. Lynch, and M.S. Paterson, "Impossibility of Distributed Consensus with One Faulty Process," J. ACM, vol. 32, no. 2, pp. 374-382, 1985.
3. C. Dwork, N. Lynch, and L. Stockmeyer, "Consensus in the Presence of Partial Synchrony," J. ACM, vol. 35, no. 2, pp. 288-323, 1988.
4. M. Ben-Or, "Another Advantage of Free Choice (Extended Abstract): Completely Asynchronous Agreement Protocols," Proc. Second Ann. ACM Symp. Principles of Distributed Computing, pp. 27- 30, 1983. (Pubitemid 16624337)
5. M.O. Rabin, "Randomized Byzantine Generals," Proc. 24th Ann. Symp. Foundations of Computer Science, pp. 403-409, 1983.
6. M. Castro and B. Liskov, "Practical Byzantine Fault Tolerance and Proactive Recovery," ACM Trans. Computer Systems, vol. 20, no. 4, pp. 398-461, 2002. (Pubitemid 135702591)
7. R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong, "Zyzzyva: Speculative Byzantine Fault Tolerance," ACM Trans. Computer Systems, vol. 27, no. 4, pp. 7:1-7:39, 2009.
8. Y. Amir, C. Danilov, D. Dolev, J. Kirsch, J. Lane, C. Nita-Rotaru, J. Olsen, and D. Zage, "Steward: Scaling Byzantine Fault- Tolerant Replication to Wide Area Networks," IEEE Trans. Dependable and Secure Computing, vol. 7, no. 1, pp. 80-93, Jan.- Mar. 2010.
9. J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin, "Separating Agreement from Execution for Byzantine Fault- Tolerant Services," Proc. 19th ACM Symp. Operating Systems Principles, pp. 253-267, 2003. (Pubitemid 40929701)
10. J.-P. Martin and L. Alvisi, "Fast Byzantine Consensus," IEEE Trans. Dependable and Secure Computing, vol. 3, no. 3, pp. 202-215, July-Sept. 2006. (Pubitemid 44304208)
11. Y. Amir, B. Coan, J. Kirsch, and J. Lane, "Customizable Fault Tolerance for Wide-Area Replication," Proc. 26th IEEE Int'l Symp. Reliable Distributed Systems, pp. 66-80, 2007.
12. J. Li and D. Mazières, "Beyond One-Third Faulty Replicas in Byzantine Fault Tolerant Systems," Proc. Fourth USENIX Symp. Networked Systems Design and Implementation, pp. 131-144, 2007.
13. A. Clement, E. Wong, L. Alvisi, M. Dahlin, and M. Marchetti, "Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults," Proc. Sixth USENIX Symp. Networked Systems Design and Implementation, pp. 153-168, 2009.
14. G.S. Veronese, M. Correia, A.N. Bessani, and L.C. Lung, "Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary," Proc. 28th IEEE Int'l Symp. Reliable Distributed Systems, pp. 135-144, 2009.
15. A.S. Aiyer, L. Alvisi, A. Clement, M. Dahlin, J.-P. Martin, and C. Porth, "BAR Fault Tolerance for Cooperative Services," Proc. 20th ACM Symp. Operating Systems Principles, pp. 45-58, 2005. (Pubitemid 44892204)
16. S. Blake, D. Black, M. Carlson, E. Davies, Z. Wang, and W. Weiss, "An Architecture for Differentiated Services," RFC 2475, 1998.
17. M.P. Herlihy and J.M. Wing, "Linearizability: A Correctness Condition for Concurrent Objects," ACM Trans. Programming and Languages and Systems, vol. 12, no. 3, pp. 463-492, 1990.
18. M. Castro, "Practical Byzantine Fault Tolerance," PhD dissertation, Massachusetts Inst. of Technology, pp. 29-31, 2001.
19. F.J. MacWilliams and N.J.A. Sloane, The Theory of Error-Correcting Codes, North-Holland, 1988.
20. R.L. Rivest, A. Shamir, and L. Adleman, "A Method for Obtaining Digital Signatures and Public-Key Cryptosystems," Comm. ACM, vol. 21, no. 2, pp. 120-126, 1978. (Pubitemid 8591219)
21. "The netem Utility," http://www.linuxfoundation.org/ collaborate/workgroups/networking/netem, 2010.
22. L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," Comm. ACM, vol. 21, no. 7, pp. 558-565, 1978. (Pubitemid 8615486)
23. F.B. Schneider, "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial," ACM Computing Surveys, vol. 22, no. 4, pp. 299-319, 1990.
24. A. Singh, T. Das, P. Maniatis, P. Druschel, and T. Roscoe, "BFT Protocols under Fire," Proc. Fifth USENIX Symp. Networked Systems Design and Implementation, pp. 189-204, 2008.
25. M.K. Reiter, "The Rampart Toolkit for Building High-Integrity Services," Proc. Int'l Workshop Theory and Practice in Distributed Systems, pp. 99-110, 1995.
26. V. Drabkin, R. Friedman, and A. Kama, "Practical Byzantine Group Communication," Proc. 26th IEEE Int'l Conf. Distributed Computing Systems, p. 36, 2006.
27. C. Cachin and S. Tessaro, "Asynchronous Verifiable Information Dispersal," Proc. 24th IEEE Symp. Reliable Distributed Systems, pp. 191-202, 2005.
28. M. Fitzi and M. Hirt, "Optimally Efficient Multi-Valued Byzantine Agreement," Proc. 25th Ann. ACM Symp. Principles of Distributed Computing, pp. 163-168, 2006. (Pubitemid 44393704)
29. C. Cachin and J.A. Portiz, "Secure Intrusion-Tolerant Replication on the Internet," Proc. IEEE Int'l Conf. Dependable Systems and Networks, pp. 167-176, 2002.
30. H. Moniz, N.F. Neves, M. Correia, and P. Veríssimo, "Randomized Intrusion-Tolerant Asynchronous Services," Proc. IEEE Int'l Conf. Dependable Systems and Networks, pp. 568-577, 2006. (Pubitemid 44930457)
31. D. Malkhi and M. Reiter, "Byzantine Quorum Systems," Distributed Computing, vol. 11, no. 4, pp. 203-213, 1998. (Pubitemid 128489949)
32. D. Malkhi and M.K. Reiter, "Secure and Scalable Replication in Phalanx," Proc. 17th IEEE Symp. Reliable Distributed Systems, pp. 51-58, 1998.
33. M. Abd-El-Malek, G.R. Ganger, G.R. Goodson, M.K. Reiter, and J.J. Wylie, "Fault-Scalable Byzantine Fault-Tolerant Services," Proc. 20th ACM Symp. Operating Systems Principles, pp. 59-74, 2005. (Pubitemid 44892205)
34. J. Cowling, D. Myers, B. Liskov, R. Rodrigues, and L. Shrira, "HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance," Proc. Seventh USENIX Symp. Operating Systems Design and Implementation, pp. 177-190, 2006.
35. P.E. Veríssimo, N.F. Neves, C. Cachin, J. Poritz, D. Powell, Y. Deswarte, R. Stroud, and I. Welch, "Intrusion-Tolerant Middleware: The Road to Automatic Security," IEEE Security & Privacy, vol. 4, no. 4, pp. 54-62, July-Aug. 2006.
36. M. Correia, N.F. Neves, and P. Veríssimo, "How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems," Proc. 23rd IEEE Int'l Symp. Reliable Distributed Systems, pp. 174-183, 2004. (Pubitemid 40449363)
37. M. Serafini and N. Suri, "The Fail-Heterogeneous Architectural Model," Proc. 26th IEEE Int'l Symp. Reliable Distributed Systems, pp. 103-113, 2007.
38. G. Bracha, "An Asynchronous [(n-1)/3]-Resilient Consensus Protocol," Proc. Third Ann. ACM Symp. Principles of Distributed Computing, pp. 154-162, 1984.
39. "The BFT Project Homepage,"http://www.pmg.csail.mit.edu/ bft, 2010.
40. R.C. Merkle, "Secrecy, Authentication, and Public Key Systems," PhD dissertation, Stanford Univ. 1979.