Back to Results
First PageMeta Content
Trusted computing / Microkernel / Security / Trusted computing base / Kernel / Trusted path / L4 microkernel family / Next-Generation Secure Computing Base / Ring / Computer security / Computer architecture / System software


To be published in Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, 2004 Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors Michael Hohmuth
Add to Reading List

Document Date: 2005-10-18 08:59:18


Open Document

File Size: 60,07 KB

Share Result on Facebook

City

Saint-Emilion / Saint-Malo / Leuven / /

Company

SINA / ACM Press / AMD / Van Nostrand Reinhold Co. / VMware / Microsoft / /

Country

Belgium / France / /

/

Event

Reorganization / /

IndustryTerm

secure systems / µ-kernel-based systems / inner network / microkernel-like systems / virtual network device / denounced microkernel technology / highlevel network protocols / technology leads / window server / kernel services / smallest systems / software components / Internet communication / software assessment / legacy applications / real-time and embedded systems / Internet connections / conventional virtual-machine technology / simplest systems / backup media / user applications / microkernel systems / emulated communication devices / communication devices / trusted computing / commodity operating systems / trusted computing base / Internet users / virtual-private-network / secure applications / backup Internet connections / untrusted software / /

OperatingSystem

Linux / FreeBSD / /

Organization

Johns Hopkins University Department of Computer Science Systems Research Laboratory / USENIX Association / /

Person

Boris Dragovic / Rolf Neugebauer / Tal Garfinkel / Bryan Ford / Henry M. Levy / Dan Boneh / Michael Hohmuth Michael Peter Hermann / Ian Pratt / Ben Pfaff / Victor L. Voydock / Andrew Warfield / Roland McGrath / Mendel Rosenblum / Marianne Shaw / Paul Barham / Nizza / Steven Hand / Andrew Whitaker / Alex Ho / Jay Lepreau / Brian N. Bershad / Mike Hibler / Patrick Tullmann / Jim Chow / Stephen T. Kent / Norman Feske / Steven D. Gribble / Tim Harris / /

Position

driver / device emulation VMM supervisor / IPSec IP-interface driver / VM-µK supervisor / coarse Para-VMM supervisor / General / /

Product

IPSec IP / Linux / /

Technology

Alpha / virtual machine / Linux / VMM technology / VPN / conventional virtual-machine technology / operating system / mobile device / shared memory / Operating Systems / TCP/IP / Ethernet / even denounced microkernel technology / cryptography / highlevel network protocols / network protocols / /

SocialTag