Configuration Tool Prototype for the Trusted Computing Exemplar Project
Abstract
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. A software application that removes many of the complexities of creating a valid configuration vector file is needed. This thesis describes the first steps taken to design and implement a graphical user interface (GUI) configuration vector tool that enables a user to easily create valid configuration vector files (both human-readable and binary). The tool allows a user to focus on the meaning of the configuration vector rather than on the syntactic details of the file. A prototype of the configuration vector tool was successfully designed, implemented, and tested in this thesis. The prototype provides the first functional GUI software application that creates configuration vector files. The logical design of the toll will permit further extensions to be readily incorporated.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 2009
- Accession Number
- ADA516381
Entities
People
- Terrence M. Welliver
Organizations
- Naval Postgraduate School