Configuration tool prototype for the Trusted Computing Exemplar project

Approved for public release, distribution unlimited === The creation of a configuration vector file used to initialize the Least Privilege Separation Kernel (LPSK) of the Trusted Computing Exemplar (TCX) project to an initial secure state is currently a manual process that is tedious and error prone...

Full description

Bibliographic Details
Main Author: Welliver, Terrence M.
Other Authors: Irvine, Cynthia E.
Published: Monterey, California. Naval Postgraduate School 2012
Online Access:http://hdl.handle.net/10945/4327