IKernel: Isolating buggy and malicious device drivers using hardware virtualization support

Proceedings - DASC 2007: Third IEEE International Symposium on Dependable, Autonomic and Secure Computing

Volumn , Issue , 2007, Pages 134-142

  Lin, Tan ^a   Chan, Ellick M ^a   Farivar, Reza ^a   Mallick, Nevedita ^a   Carlyle, Jeffrey C ^a   David, Francis M ^a   Campbell, Roy H ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

CORE OPERATING SYSTEM; VIRTUAL MACHINE; VIRTUAL MACHINE MONITOR (VMM); VIRTUALIZATION;

COMPUTER HARDWARE; RELIABILITY ANALYSIS; SECURITY OF DATA; VIRTUAL REALITY;

PROGRAM DEBUGGING;

EID: 38049016361     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISDASC.2007.4351398     Document Type: Conference Paper

References (17)

1. D. Abramson et. al., "Intel Virtualization Technology for Directed I/O." Intel technology journal, Volume 10, Issue 3, 2006.
2. Keith Adams and Ole Agesen. "A comparison of software and hardware techniques for x86 virtualization." In Proceedings of the 12th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2006.
3. Roy H. Campbell, Nayeem Islam, Ralph Johnson, Panos Kougiouris, and Peter Madany. "Choices, Frameworks and Refinement." In International Workshop on Object Orientation in Operating Systems, 1991.
4. Andy Chou, Junfeng Yang, Benjamin Chelf, Seth Hallem, and Dawson Engler. "An Empirical Study of Operating Systems Errors." In Proceedings of the Eighteenth ACM Symposium on Operating Systems Principles (SOSP), 2001.
5. Francis M. David, Jeffrey C. Carlyle, Ellick M. Chan, Philip A. Reames, Roy H. Campbell, "Improving Dependability by Revisiting Operating System Design." In Workshop on Hot Topics in Dependability, 2007.
6. B. Dragovic et. al. "Xen and the Art of Virtualization." In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles (SOSP), 2003.
7. U. Erlingsson, M. Abadi, M. Vrable "XFI: Software Guards for System Address Spaces." In Proceedings of the 7th Operating System Design and Implementation (OSDI) 2006.
8. Qing He. "VMX: enable io bitmaps to avoid IO port 0×80 VMEXITs." http://article.gmane.org/ gmane.comp.emulators.kvm.devel/2621, 2007.
9. J.N. Herder, H. Bos, P. Homburg, A.S. Tanenbaum. "MINIX 3: A Highly Reliable, Self-Repairing Operating System" In Proceedings of the ACM SIGOPS Operating Systems Review, 2006.
10. G. Hunt et. al. "An Overview of Singularity Project." Microsoft Research Technical Report 2005.
11. A. Johansson, N. Suri, "Error propagation profiling of operating systems." In Proceedings of the International Conference on Dependable Systems and Networks (DSN), 2005.
12. J. LeVasseur, V. Uhlig, J. Stoess, S. Gotz. "Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines." In Proceedings of the 6th Symposium on Opearting Systems Design and Implementation (OSDI), 2004.
13. J. Liedtke, "On Microkernel Construction." In Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP), 1995.
14. D.A. Kaplan. "RingCycle: A Hardware based approach to driver isolation." http://www.acm.uiuc.edu/projects/RingCycle/browser/RingCycle. pdf, 2006.
15. M. Sullivan and R. Chillarege. "Software Defects and their Impact on System Availability A Study of Field Failures in Operating Systems." In Proceedings of the 21st International Symposium on Fault Tolerant Computing (FTCS-21), 1991.
16. M. M. Swift, B.N. Bershad, H.M. Levy. "Improving the Reliability of Commodity Operating Systems." In Proceedings of the Nineteenth ACM Symposium on Operating Systems Principles (SOSP), 2003.
17. F. Zhou, J. Condit, Z. Anderson, I. Bagrak "SafeDrive: Safe and Recoverable Extensions Using Language Based Techniques." In Proceedings of the 7th Operating System Design and Implementation (OSDI), 2006.