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 - TCB - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2005-10-18 08:59:18 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 Source URL: www.eros-os.org Download Document from Source Website File Size: 60,07 KB Share Document on Facebook

	The Jury Is In: Monolithic OS Design Is Flawed Microkernel-based Designs Improve Security Simon Biggs, Damon Lee, DocID: 1xVEb - View Document
	SAMSUNG RESEARCH AMERICA – SILICON VALLEY. JANUARY 31, A Scalable High-Performance In-Memory Key-Value Cache using a Microkernel-Based Design DocID: 1t7hh - View Document
	Attested Append-Only Memory: Making Adversaries Stick to their Word Byung-Gon Chun† Petros Maniatis⋆ Scott Shenker†‡ † DocID: 1rqQM - View Document
	An experience report on the integration of ECU software using an HSF-enabled real-time kernel Martijn M.H.P. van den Heuvel, Erik J. Luit, Reinder J. Bril, Johan J. Lukkien, Richard Verhoeven and Mike Holenderski Departm DocID: 1qRDg - View Document
	OS-S OMMELIER: Memory-Only Operating System Fingerprinting in the Cloud Yufei Gu† , Yangchun Fu† , Aravind Prakash‡ , Zhiqiang Lin† , Heng Yin‡ Department of Computer Science The University of Texas at Dallas 8 DocID: 1qyWL - View Document