SPARE: Replicas on Hold

Proceedings of the Symposium on Network and Distributed System Security, NDSS 2011

Volumn , Issue , 2011, Pages

  Distler, Tobias ^a   Kapitza, Rüdiger ^a   Popov, Ivan ^a   Reiser, Hans P ^b   Schröder Preikschat, Wolfgang ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY; PROGRAM DEBUGGING; VIRTUAL REALITY; VIRTUALIZATION; WEB SERVICES; WEBSITES;

BYZANTINE FAULT; FAULT-TOLERANT; LONG TERM SERVICE; RESOURCE DEMANDS; SECURITY HOLES; SERVICE PROVISIONS; SOFTWARE BUG; SOFTWARE SECURITY; VIRTUALIZATIONS; WEB-BASED SERVICE;

RECOVERY;

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

References (49)

1. Amazon. Amazon Elastic Compute Cloud (Amazon EC2). http://aws.amazon.com/ec2/.
2. Amazon. User guide: Amazon EC2 cost comparison calculator. http://aws.amazon.com/economics/.
3. Y. Amir, G. Ateniese, D. Hasse, Y. Kim, C. Nita-Rotaru, T. Schlossnagle, J. Schultz, J. Stanton, and G. Tsudik. Secure group communication in asynchronous networks with failures: Integration and experiments. In Proceedings of the 20th International Conference on Distributed Computing Systems, pages 330–343, 2000.
4. Y. Amir and J. Stanton. The Spread wide area group communication system. Technical Report CNDS-98-4, Center for Networking and Distributed Systems, Johns Hopkins University., 1998.
5. P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt, and A. Warfield. Xen and the art of virtualization. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 164–177, 2003.
6. N. Budhiraja, K. Marzullo, F. B. Schneider, and S. Toueg. Distributed systems (2nd Ed.), chapter The primary-backup approach, pages 199–216. Addison-Wesley, 1993.
7. M. Castro and B. Liskov. Practical Byzantine fault tolerance. In Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, pages 173–186, 1999.
8. M. Castro and B. Liskov. Proactive recovery in a Byzantine-fault-tolerant system. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation, pages 19–34, 2000.
9. M. Castro, R. Rodrigues, and B. Liskov. BASE: Using abstraction to improve fault tolerance. ACM Transactions on Computer Systems, 21(3):236–269, 2003.
10. B.-G. Chun, P. Maniatis, and S. Shenker. Diverse replication for single-machine Byzantine-fault tolerance. In USENIX Annual Technical Conference, pages 287–292, 2008.
11. B.-G. Chun, P. Maniatis, S. Shenker, and J. Kubiatowicz. Attested append-only memory: making adversaries stick to their word. In Proceedings of the 21st ACM SIGOPS Symposium on Operating Systems Principles, pages 189–204, 2007.
12. A. Clement, M. Marchetti, E. Wong, L. Alvisi, and M. Dahlin. BFT: the time is now. In Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middle-ware, pages 1–4, 2008.
13. M. Correia, N. F. Neves, and P. Veríssimo. How to tolerate half less one Byzantine nodes in practical distributed systems. In Proceedings of the 23rd IEEE Symposium on Reliable Distributed Systems, pages 174–183, 2004.
14. B. Cully, G. Lefebvre, D. Meyer, M. Feeley, N. Hutchinson, and A. Warfield. Remus: high availability via asynchronous virtual machine replication. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, pages 161–174, 2008.
15. T. Distler, R. Kapitza, and H. P. Reiser. State transfer for hypervisor-based proactive recovery of heterogeneous replicated services. In Proceedings of the 5th Sicherheit Conference, pages 61–72, 2010.
16. D. Ellard, J. Ledlie, P. Malkani, and M. Seltzer. Passive NFS tracing of email and research workloads. In Proceedings the 2nd USENIX Conference on File and Storage Technologies, pages 203–216, 2003.
17. D. F. García and J. García. TPC-W e-commerce benchmark evaluation. Computer, 36(2):42–48, 2003.
18. I. Gashi, P. Popov, and L. Strigini. Fault tolerance via diversity for off-the-shelf products: A study with SQL database servers. IEEE Transactions on Dependable and Secure Computing, 4(4):280–294, 2007.
19. A. Haeberlen, P. Kouznetsov, and P. Druschel. PeerReview: practical accountability for distributed systems. In Proceedings of 21st ACM SIGOPS Symposium on Operating Systems Principles, pages 175–188, 2007.
20. Hewlett-Packard. HP Integrity NonStop computing. http://h20341.www2.hp.com/NonStopComputing/ cache/76385-0-0-0-121.html, 2010.
21. M. Howard and M. Thomlinson. Windows Vista ISV security. http://msdn.microsoft.com/en-us/library/bb430720.aspx, 2010.
22. IBM. Smart Business Development and Test Cloud. Technical report, IBM, 2010.
23. R. Jiménez-Peris, M. Patiño Martínez, and G. Alonso. Non-intrusive, parallel recovery of replicated data. In Proceedings of the 21st IEEE Symposium on Reliable Distributed Systems, page 150, 2002.
24. N. Joukov and J. Sipek. GreenFS: making enterprise computers greener by protecting them better. In Proceedings of the 3rd ACM SIGOPS European Conference on Computer Systems, pages 69–80, 2008.
25. B. Kemme, A. Bartoli, and O. Babaoglu. Online reconfiguration in replicated databases based on group communication. In Proceedings of the 2001 Conference on Dependable Systems and Networks, pages 117–130, 2001.
26. G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, and S. Winwood. sel4: formal verification of an os kernel. In Proceedings of the 22nd ACM SIGOPS Symposium on Operating Systems Principles, pages 207–220, 2009.
27. P. Kuznetsov and R. Rodrigues. BFTW3: Why? When? Where? Workshop on the Theory and Practice of Byzantine Fault Tolerance. SIGACT News, 40(4):82–86, 2009.
28. L. Lamport and M. Massa. Cheap Paxos. In Proceedings of the 2004 Conference on Dependable Systems and Networks, pages 307–314, 2004.
29. D. Leinenbach and T. Santen. Verifying the Microsoft Hyper-V hypervisor with VCC. In Proceedings of the 2nd World Congress on Formal Methods, pages 806–809, 2009.
30. A. W. Leung, S. Pasupathy, G. Goodson, and E. L. Miller. Measurement and analysis of large-scale network file system workloads. In USENIX 2008 Annual Technical Conference on Annual Technical Conference, pages 213–226, 2008.
31. W. Liang and B. Kemme. Online recovery in cluster databases. In Proceedings of the 11th Conference on Extending Database Technology, pages 121–132, 2008.
32. D. G. Murray and S. Hand. Privilege separation made easy: trusting small libraries not big processes. In Proceedings of the 1st European Workshop on System Security, pages 40–46, 2008.
33. D. Nurmi, R. Wolski, C. Grzegorczyk, G. Obertelli, S. So-man, L. Youseff, and D. Zagorodnov. The Eucalyptus open-source cloud-computing system. In Proceedings of the 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, pages 124–131, 2009.
34. ObjectWeb Consortium. RUBiS: Rice University Bidding System. http://rubis.ow2.org/.
35. D. Oppenheimer, B. Chun, D. Patterson, A. C. Snoeren, and A. Vahdat. Service placement in shared wide-area platforms. In Proceedings of the USENIX Annual Technical Conference, pages 273–288, 2006.
36. J.-F. Paris. Voting with witnesses: A consistency scheme for replicated files. In Proceedings of the 6th International Conference on Distributed Computing Systems, pages 606–612, 1986.
37. F. Pedone and S. Frølund. Pronto: High availability for standard off-the-shelf databases. Journal of Parallel and Distributed Computing, 68(2):150–164, 2008.
38. H. P. Reiser and R. Kapitza. Hypervisor-based efficient proactive recovery. In Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems, pages 83–92, 2007.
39. J. Salas, R. Jiménez-Peris, M. Patiño Martínez, and B. Kemme. Lightweight reflection for middleware-based database replication. In Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems, pages 377–390, 2006.
40. R. Salinas-Monteagudo and F. D. Munoz-Escoi. Almost triggerless writeset extraction in multiversioned databases. In Proceedings of the 2nd International Conference on Dependability, pages 136–142, 2009.
41. A. Shraer, C. Cachin, A. Cidon, I. Keidar, Y. Michalevsky, and D. Shaket. Venus: verification for untrusted cloud storage. In Proceedings of the 2010 ACM Workshop on Cloud Computing Security, pages 19–30, 2010.
42. B. Sotomayor, R. S. Montero, I. M. Llorente, and I. Foster. Virtual infrastructure management in private and hybrid clouds. IEEE Internet Computing, 13:14–22, 2009.
43. P. Sousa, N. F. Neves, and P. Veríssimo. Hidden problems of asynchronous proactive recovery. In Proceedings of the 3rd Workshop on Hot Topics in System Dependability, 2007.
44. D. Spence, J. Crowcroft, S. Hand, and T. Harris. Location based placement of whole distributed systems. In Proceedings of the 1st Conference on Emerging Network Experiments and Technologies, pages 124–134, 2005.
45. U. Steinberg and B. Kauer. NOVA: A microhypervisorbased secure virtualization architecture. In Proceedings of the 5th ACM SIGOPS European Conference on Computer Systems, pages 209–222, 2010.
46. The PaX Project. http://pax.grsecurity.net.
47. A. Velte and T. Velte. Microsoft Virtualization with Hyper-V. McGraw-Hill, Inc., 2010.
48. T. Wood, R. Singh, A. Venkataramani, and P. Shenoy. ZZ: Cheap practical BFT using virtualization. Technical Report TR14-08, University of Massachusetts, 2008.
49. J. Yin, J.-P. Martin, A. Venkataramani, L. Alvisi, and M. Dahlin. Separating agreement from execution for Byzantine fault tolerant services. SIGOPS Operating Systems Review, 37(5):253–267, 2003.