Reducing TCB size by using untrusted components - Small kernels versus virtual-machine monitors

Proceedings of the 11th Workshop on ACM SIGOPS European Workshop, EW 11

Volumn , Issue , 2004, Pages

  Hohmuth, Michael ^a   Peter, Michael ^a   Härtig, Hermann ^a   Shapiro, Jonathan S ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b JOHNS HOPKINS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING; NETWORK SECURITY; VIRTUAL MACHINE;

INTERPROCESS COMMUNICATION; MEMORY-SHARING; MOVING SYSTEMS; SECURE MESSAGES; SECURITY PROPERTIES; SMALLEST SYSTEMS; TRUSTED OPERATING SYSTEM; VIRTUAL MACHINE MONITORS;

MACHINE COMPONENTS;

EID: 77951450625     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1133572.1133615     Document Type: Conference Paper

References (11)

1. Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield. Xen and the art of virtualization. In Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 164-177. ACM Press, 2003.
2. Norman Feske and Hermann Härtig. DOpE - a window server for real-time and embedded systems. Technical Report TUD-FI03-10-September-2003, TU Dresden, 2003.
3. Bryan Ford, Mike Hibler, Jay Lepreau, Roland McGrath, and Patrick Tullmann. Interface and execution models in the Fluke kernel. In Proceedings of the third symposium on Operating systems design and implementation, pages 101-115. USENIX Association, 1999.
4. Tal Garfinkel, Ben Pfaff, Jim Chow, Mendel Rosenblum, and Dan Boneh. Terra: a virtual machine-based platform for trusted computing. In Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 193-206. ACM Press, 2003.
5. Morrie Gasser. Building a secure computer system. Van Nostrand Reinhold Co., 1988.
6. H. Härtig, M. Hohmuth, J. Liedtke, S. Schönberg, and J. Wolter. The performance of μ-kernel-based systems. In Proceedings of the 16th ACM Symposium on Operating System Principles (SOSP), pages 66-77, Saint-Malo, France, October 1997.
7. Hermann Härtig. Security architectures revisited. In Proceedings of the Tenth ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
8. C. Helmuth, A. Westfeld, and M. Sobirey. μSINA - Eine mikrokernbasierte Systemarchitektur für sichere Systemkomponenten. In Deutscher IT-Sicherheitskongress des BSI, volume 8 of IT-Sicherheit im verteilten Chaos, pages 439-453. Secumedia-Verlag Ingelsheim, May 2003.
9. Michael M. Swift, Brian N. Bershad, and Henry M. Levy. Improving the reliability of commodity operating systems. In Proceedings of the nineteenth ACM symposium on Operating systems principles, pages 207-222. ACM Press, 2003.
10. Victor L. Voydock and Stephen T. Kent. Security mechanisms in high-level network protocols. ACM Comput. Surv., 15(2):135-171, 1983.
11. Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. Scale and performance in the Denali isolation kernel. In Proceedings of the fifth symposium on Operating systems design and implementation, pages 195-209. USENIX Association, 2002.