TCX Project: High Assurance for Secure Embedded Systems
Nguyen, Thuy D.
Levin, Timothy E.
Irvine, Cynthia E.
MetadataShow full item record
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.
RightsThis 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.
Showing items related by title, author, creator and subject.
Gross, Michael E. (Monterey, California. Naval Postgraduate School, 2004-03);Configuration Management (CM) plays a vital role in the development of trusted computing systems. The Common Criteria (CC) provides a framework for performing Information Technology (IT) security evaluations of these systems ...
Design and development of an expert system based quality assurance module for the Dynamo Model of software project management Leidy, Frank H. (Monterey, California. Naval Postgraduate School, 1984-03);Quality assurance is a crucial function to the successful development and maintenance of a software system. Because this activity has a significant impact on the cost of software development, the cost-effectiveness of ...
Brown, Breshaun K. (Monterey, California: Naval Postgraduate School, 2018-03);This thesis examines the U.S. Navy’s current strategy in the Persian Gulf and assesses which aspect of that strategy-deterrence or assurance-makes a more significant contribution to regional stability in the greater Middle ...