Least Privilege Separation Kernel storage hierarchy prototype for the trusted computing exemplar project
Guillen, Jonathan Michael
Irvine, Cynthia E.
Clark, Paul C.
MetadataShow full item record
The Least Privilege Separation Kernel (LPSK) is part of the Trusted Computing Exemplar (TCX) project. Separation kernels may be used to partition resources in support of the enforcement of mandatory security policies. The LPSK provides services that allow each subject to access resources configured as part of its domain. To ensure permanence of information the LPSK requires a storage hierarchy for its data resources. This thesis describes the design for a LPSK storage hierarchy based on existing LPSK requirements. The design was implemented in a Linux environment to produce a storage hierarchy prototype. Implementation of the prototype proceeded in keeping with principles for developmental security which include minimization, modularity, and hierarchical dependencies. The LPSK storage hierarchy external interfaces belong in three distinct categories: The configuration interfaces are used to construct the storage hierarchy and its contents in a non-LPSK context, initialization interfaces associate data segment handles with data segments that are exported to LPSK subjects, and runtime interfaces support the reading and writing to secondary storage data segments exported to non-LPSK subjects. Testing showed that storage hierarchy interfaces behaved according to specification. This study shows that a storage hierarchy prototype can be designed and implemented based on the LPSK functional specification.
Approved for public release; distribution is unlimited
Showing items related by title, author, creator and subject.
A software prototype for a Command, Control, Communications and Intelligence (C_x001B_p3_x001B_sI) workstation Coskun, Vedat; Kesoglu, Cengiz (Monterey, California: Naval Postgraduate School, 1990-12);Developing large hard-real-time systems in a traditional way usually creates inconsistencies among the user's needs, the requirements and the implementation. Rapid Prototyping by using Prototype System Description Language ...
Felt, Aaron J. (Monterey, California: Naval Postgraduate School, 2014-12);This thesis solves the problem of a lack of a complete, simple ground station network interface standard. A federated satellite ground station network (FGN) model and computer interface are developed that extend the use ...
Garingo, Gary D (Monterey, California. Naval Postgraduate School, 1997-09);Current web database connectivity solutions lack an object oriented architecture for Java applications. In particular, Java is object oriented and most legacy databases are relational. This thesis proposes a design and ...