TCX project: high assurance for secure embedded systems

Authors:
Thuy D. Nguyen;Timothy E. Levin;Cynthia E. Irvine
Affiliations:
Naval Postgraduate School, Monterey, CA;Naval Postgraduate School, Monterey, CA;Naval Postgraduate School, Monterey, CA
Venue:
ACM SIGBED Review - Special issue: IEEE RTAS 2005 work-in-progress
Year:
2005

Citing 3
Cited 0

A Spiral Model of Software Development and Enhancement

Computer
The structure of the “THE”-multiprogramming system

Communications of the ACM
Design and verification of secure systems

SOSP '81 Proceedings of the eighth ACM symposium on Operating systems principles

Quantified Score

Hi-index	0.01

Visualization

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.