Trusted Computing Exemplar. 2004 Developments
Abstract
The Center for Information Systems Security Studies and Research at the Naval Postgraduate School (CISR) has established and is vigorously pursuing a multifaceted research and development project to provide an openly distributed worked example of how high assurance trusted computing components can be built. The Trusted Computing Exemplar project (TCX) encompasses four related activities: creation of the High Assurance Rapid Development Environment (HARDE) prototype; development of a reference-implementation trusted computing component (the TCX Separation Kernel); evaluation of the component for high assurance; and open dissemination of results related to the first three activities. This document presents a brief overview of the TCX Separation Kernel design (see Section 2), and provides a summary of TCX developments that have occurred in financial year 2004 October 2003 through September 2004. Significant progress on the development environment is described in Sections 3 and 4. System development and evaluation progress are described in section 5. Our high-level design requirements have been defined synergistically with a Common Criteria protection profile for separation kernels. Work on open dissemination of TCX project results is included in Documentation Integration Environment, in Section 2. Portions of that environment will eventually be integrated into the dissemination system.
Document Details
- Document Type
- Technical Report
- Publication Date
- Oct 01, 2004
- Accession Number
- ADA575966
Entities
People
- Cynthis E. Irvine
- Thuy D. Nguyen
- Timothy E. Levin
Organizations
- Naval Postgraduate School