A parsimonious approach for obtaining resource-efficient and trustworthy execution

IEEE Transactions on Dependable and Secure Computing

Volumn 4, Issue 1, 2007, Pages 1-17

  Ramasamy, HariGovind V ^a,b   Agbaria, Adnan ^a,c   Sanders, William H ^a,d  

^a IEEE   (Switzerland)

^b IBM RESEARCH ZURICH   (Switzerland)

^c IBM HAIFA RESEARCH LAB   (Israel)

^d UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Byzantine faults; Distributed systems; Fault tolerance

Indexed keywords

COMPUTER SYSTEM RECOVERY; DATA TRANSFER; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANCE; NETWORK ARCHITECTURE; NETWORK PROTOCOLS; PERSONAL COMPUTERS;

ASYNCHRONOUS PROTOCOLS; BYZANTINE FAULTS; DISTRIBUTED SYSTEMS; FAILURE DETECTION;

FAULT TOLERANT COMPUTER SYSTEMS;

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

References (28)

1. Trust in Cyberspace, F.B. Schneider, ed. Nat'1 Academy Press, 1999.
2. L. Lamport, "Time, Clocks and Ordering of Events in Distributed Systems," Comm. ACM, vol. 21, no. 7, pp. 558-565, July 1978.
3. F.B. Schneider, "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial," ACM Computing Surveys, vol. 22, no. 4, pp. 299-319, Dec. 1990.
4. M. Castro and B. Liskov, "Practical Byzantine Fault Tolerance and Proactive Recovery," ACM Trans. Computer Systems (TOCS), vol. 20, no. 4, pp. 398-461, Nov. 2002.
5. M. Castro, R. Rodrigues, and B. Liskov, "BASE: Using Abstraction to Improve Fault Tolerance," ACM Trans. Computer Systems, vol. 21, no. 3, pp. 236-269, Aug. 2003.
6. J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin, "Separating Agreement from Execution for Byzantine Fault Tolerant Services," Proc. 19th Symp. Operating Systems Principles, pp. 253-267, Oct. 2003.
7. K. Kursawe, "Optimistic Byzantine Agreement," Proc. 21st Symp. Reliable Distributed Systems, pp. 262-267, Oct. 2002.
8. C. Cachin, K. Kursawe, F. Petzold, and V. Shoup, "Secure and Efficient Asynchronous Broadcast Protocols," Proc. Conf. Advances in Cryptology (CRYPTO '01), pp. 524-541, Aug. 2001.
9. S.A. Vanstone, P.C. van Oorschot, and A. Menezes, Handbook of Applied Cryptography. CRC Press, 1996.
10. S. Goldwasser, S. Micali, and R.L. Rivest, "A Digital Signature Scheme Secure against Adaptive Chosen-Message Attacks," SIAM J. Computing, vol. 17, no. 2, pp. 281-308, Apr. 1988.
11. Secure Hash Standard. Federal Information Processing Standards Publication, vol. 180-1, Apr. 1995.
12. T.D. Chandra and S. Toueg, "Unreliable Failure Detectors for Reliable Distributed Systems," J. ACM, vol. 43, no. 2, pp. 225-267, Mar. 1996.
13. K.P. Kihlstrom, L.E. Moser, and P.M. Melliar-Smith, "Byzantine Fault Detectors for Solving Consensus," Computer J., vol. 46, no. 1, pp. 16-35, Jan. 2003.
14. A. Doudou, B. Garbinato, and R. Guerraoui, "Failure Detection: From Crash-Stop to Byzantine Failures," Proc. Int'l Conf. Reliable Software Technologies, pp. 24-50, May 2002.
15. Merriam-Webster Online, http://www.m-w.com/dictionary/, 2006.
16. M.K. Reiter, "Secure Agreement Protocols: Reliable and Atomic Group Multicast in Rampart," Proc. Second ACM Conf. Computer and Comm. Security, pp. 68-80, Nov. 1994.
17. A. Agbaria, A. Freund, and R. Friedman, "Evaluating Distributed Checkpointing Protocols," Proc. 23rd Int'l Conf. Distributed Computing Systems (ICDCS '03), pp. 266-273, May 2003.
18. N.H. Vaidya, "Impact of Checkpoint Latency on Overhead Ratio of a Checkpointing Scheme," IEEE Trans. Computers, vol. 46, no. 8, pp. 942-947, Aug. 1997.
19. S.M. Kim and M.-C. Rosu, "A Survey of Public Web Services," Proc. Fifth Int'l Conf. E-Commerce and Web Technologies, pp. 96-105, Aug. 2004.
20. H.V. Ramasamy, C. Cachin, A. Agbaria, and W.H. Sanders, "The Parsimonious Approach to Constructing Fault-Tolerant Protocols," Supplemental Proc. 2006 Int'l Conf. Dependable Systems and Networks (DSN '06), pp. 218-219, June 2006.
21. F. Cristian and C. Fetzer, "The Timed Asynchronous Distributed System Model," IEEE Trans. Parallel and Distributed Systems, vol. 10, no. 6, pp. 642-657, June 1999.
22. M.K. Reiter, "The Rampart Toolkit for Building High-Integrity Services," Selected Papers from the Int'l Workshop Theory and Practice in Distributed Systems, pp. 99-110, 1995.
23. P. Veríssimo and A. Casimiro, "The Timely Computing Base Model and Architecture," IEEE Trans. Computers, vol. 51, no. 8, pp. 916-930, Aug. 2002.
24. C. Fetzer, M. Raynal, and F. Tronel, "An Adaptive Failure Detection Protocol," Proc. Eighth Pacific Rim Int'l Symp. Dependable Computing, pp. 146-153, Dec. 2001.
25. D. Malkhi and M. Reiter, "Byzantine Quorum Systems," J. Distributed Computing, vol. 11, no. 4, pp. 203-213, 1998.
26. J.-P. Martin, L. Alvisi, and M. Dahlin, "Minimal Byzantine Storage," Proc. 16th Int'l Symp. Distributed Computing (DISC '02), pp. 311-325, Oct. 2002.
27. N. Budhiraj'a, F. Schneider, S. Toueg, and K. Marzullo, "The Primary-Backup Approach," Distributed Systems, pp. 199-216, ACM Press-Addison Wesley, 1993.
28. X. Défago and A. Schiper, "Specification of Replication Techniques, Semi-Passive Replication, and Lazy Consensus," Technical Report IC-2002-07, EPFL, Switzerland, Feb. 2002.