Secure Minicomputer Operating System (KSOS) Executive Summary

First Page		Document Content
Date: 2013-04-15 14:54:31 Real-time operating systems Kernel Operating system Linux kernel Unix Ring Multilevel security EROS Computer architecture Computer security System software		Secure Minicomputer Operating System (KSOS) Executive Summary Add to Reading List Source URL: csrc.nist.gov Download Document from Source Website File Size: 802,58 KB Share Document on Facebook

	Upstreaming hardware support in the Linux kernel: why and how? Thomas Petazzoni - CTO Bootlin DocID: 1vmWS - View Document
	The Implementation of Passive Covert Channels in the Linux Kernel Joanna Rutkowska joanna at invisiblethings.org Chaos Communication Congress December 2004 DocID: 1uBfP - View Document
	Differentiating Communication Styles of Leaders on the Linux Kernel Mailing List Daniel Schneider Scott Spurlock DocID: 1uxk9 - View Document
	P4C-XDP: Programming the Linux Kernel Forwarding Plane using P4 William Tu, VMware NSBU Mihai Budiu, VMware Research {mbudiu,tuc}@vmware.com June 5, 2018 DocID: 1uvHT - View Document
	Copyright © 2009 Red Hat, Inc. “Red Hat,” Red Hat Linux, the Red Hat “Shadowman” logo, and the products listed are trademarks of Red Hat, Inc., registered in the U.S. and other countries. Linux® is the registe DocID: 1uvk2 - View Document