A configuration framework and implementation for the least privilege separation kernel

Approved for public release; distribution is unlimited === The Least Privilege Separation Kernel (LPSK) configuration vector defines the initial secure state and the operational configuration of the kernel, including its security policies. Enhancements made to the LPSK functional specification nec...

Full description

Bibliographic Details
Main Author: Quek, Chee Luan
Other Authors: Irvine, Cynthia E.
Published: Monterey, California. Naval Postgraduate School 2012
Online Access:http://hdl.handle.net/10945/4954