TCX Project: High Assurance for Secure Embedded Systems
Authors
Nguyen, Thuy D.
Levin, Timothy E.
Irvine, Cynthia E.
Advisors
Second Readers
Subjects
Date of Issue
2005-03
Date
Publisher
IEEE
Language
Abstract
An overview of the Trusted Computing Exemplar (TCX) research project and its accomplishments to date are presented. The TCX project is constructing a separation kernel that will be high assurance and suitable for use in simple embedded systems. To guide the kernel development, we have created a reusable high assurance development framework. The main emphasis of this multifaceted research and development initiative is to transfer knowledge and techniques for high assurance trusted system development new developers, evaluators and educators.
Type
Conference Paper
Description
Series/Report No
Department
Identifiers
NPS Report Number
Sponsors
Funding
Format
Citation
11th IEEE Real-Time and Embedded Technology and Applications Symposium Work-In-Progress Session, San Francisco, CA, March 2005
Distribution Statement
Approved for public release; distribution is unlimited.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.