The Trusted Computing Exemplar Project
Abstract
We describe the Trusted Computing Exemplar project, which is producing an openly distributed worked example of how high-assurance trusted computing components can be built. The TCX project encompasses four related activities: 1. Creation of a prototype framework for rapid high-assurance system development; 2. Development of a reference-implementation trusted computing component; 3. Evaluation of the component for high assurance; and 4. Open dissemination of results related to the first three activities. The project's open development methodology will provide widespread availability of key high-assurance enabling technologies and ensure transfer of knowledge and capabilities for trusted computing to the next generation of developers, evaluators and educators.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 2004
- Accession Number
- ADA435862
Entities
People
- Cynthia E. Irvine
- George W. Dinolt
- Thuy D. Nguyen
- Timothy E. Levin
Organizations
- Naval Postgraduate School