Model-driven dependability analysis of virtualization systems

Proceedings of the 2009 8th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2009

Volumn , Issue , 2009, Pages 199-204

  Zhang, Xu ^a   Lin, Chuang ^b   Kong, Xiangzhen ^b  

^a UNIVERSITY OF SCIENCE AND TECHNOLOGY BEIJING   (China)

^b TSINGHUA UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

DEPENDABILITY ANALYSIS; HYPERVISOR; MARKOV MODEL; MODEL-DRIVEN; RELIABILITY , AVAILABILITY AND MAINTAINABILITIES; REPAIR RATE; SOLVING METHOD; SYSTEM DEPENDABILITY; VIRTUAL MACHINES; VIRTUALIZATIONS;

MAINTAINABILITY; MARKOV PROCESSES;

INFORMATION SCIENCE;

EID: 70350736219     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIS.2009.36     Document Type: Conference Paper

References (16)

1. R. Figueiredo, P. A. Dinda, and J. Fortes, Resource Virtualization Renaissance. IEEE Internet Computing, May 2005, Vol.38, No.5.
2. M. Rosenblum and T. Garfinkel, Virtual Machine Monitors: Current Technology and Future Trends. IEEE Internet Computing, May 2005, Vol.38, No.5.
3. Enck J., Dawson P., Phelps J.R. Predicts 2007: Brace Yourself for the Next Wave of Server Technology. Gartner RAS Core Research Note G00143973, 8. November 2006.
4. T. C. Bressoud and F. B. Schneider. Hypervisor-Based Fault Tolerance. ACM Trans. Comput. Syst. 14(1), 1996.
5. VMware Double-Take. http://www.vmware.com/pdf/vmware doubletake.pdf.
6. J. R. Douceur and J. Howell. Replicated Virtual Machines. Technical Report MSR TR-2005-2119, Microsoft Research, Sep 2005.
7. A. Joshi, S. T. King, G. W. Dunlap, and P. M. Chen. Detecting Past and Present Intrusions through Vulnerability-Specific Predicates. In Proc.20th ACM Symposium on Operating Systems Principles (SOSP-2005), pages 91-104, 2005.
8. S. T. King and P. M. Chen. Backtracking Intrusions. In Proc.19th ACM Symposium on Operating Systems Principles (SOSP-2003), PAGES223-236, 2003.
9. S. T. King, Z. M. Mao, D. G. Lucchetti, and P. M. Chen. Enriching Intrusion Alerts Through Multi-Host Causality. In Proc. Network and Distributed System Security Symposium (NDSS-2005), 2005.
10. T. Garfinkel and M. Rosenblum, A Virtual Machine Introspection-Based Architecture for Intrusion Detection. Proc. Network and Distributed Systems Security Symp., The Internet Society, 2003, pp. 191-206.
11. G.W. Dunlap et al., ReVirt: Enabling Intrusion Analysis through Virtual- Machine Logging and Replay. Proc. 5th Symp. Operating Systems Design and Implementation, Usenix, 2002, pp. 211-224.
12. T. Garfinkel et al., Terra: A Virtual Machine-Based Platform for Trusted Computing. Proc. 19th ACM Symp. Operating Systems Principles, ACM Press, 2003, pp. 193-206.
13. Algirdas A, Jean-Claude Laprie, Brian Randell, Carl Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing. 2004, 1(1):11-33.
14. Barlow, R. E., and F. Proschan (1965). Mathematical Theory of Reliability. J.Wiley and Sons.Reprinted (1996) SIAM, Philadelphia.
15. Isral KorenC. Mani Krishna. Fault-Tolerant Systems. Morgan Kaufmann Publishers, Elsevier. 2007
16. Alessandro Birolini, Reliability Engineering Theory and Practice, Fifth edition. Springer, 2007