Can We Make Operating Systems Reliable and Secure?

First Page		Document Content
Date: 2007-03-16 20:15:33 Computing platforms Monolithic kernels MINIX 3 Kernel Microkernel Operating system L4 microkernel family MINIX Linux kernel Computer architecture Computing System software		Can We Make Operating Systems Reliable and Secure? Add to Reading List Source URL: www.cs.vu.nl Download Document from Source Website File Size: 71,27 KB Share Document on Facebook

	A Novel Approach for Computer Security Education Using Minix Instructional Operating System ∗ Wenliang Du†, Mingdong Shang, and Haizhi Xu Department of Electrical Engineering and Computer Science, 3-114 Center for Sc DocID: 1ufTa - View Document
	Towards Secure and Reliable Firewall Systems based on Minix 3 R¨udiger Weis, Brian Sch¨uler, Stefan Flemming∗ Beuth Hochschule f¨ur Technik Berlin, University of Applied Sciences {rcw,bschueler,flemming}@bht-berlin. DocID: 1ucBF - View Document
	A INSTALLING MINIX 3 This appendix explains how to install MINIX 3. A complete MINIX 3 installation requires a Pentium (or compatible) with at least 16-MB of RAM, 1 GB of free disk space, an IDE CD-ROM and an IDE hard di DocID: 1t3qU - View Document
	Fine-Grained Control-Flow Integrity for Kernel Software Xinyang Ge∗ , Nirupama Talele∗ , Mathias Payer† , and Trent Jaeger∗ ∗ The Pennsylvania State University DocID: 1n9S7 - View Document