TCX Project: High Assurance for Secure Embedded Systems

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 2005
Accession Number
ADA435863

Entities

People

  • Cynthia E. Irvine
  • Thuy D. Nguyen
  • Timothy E. Levin

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Human Systems

DTIC Thesaurus Topics

  • Application Software
  • Computer Programming
  • Computer Programs
  • Configuration Management
  • Cycles
  • Engineering
  • Environment
  • Hypervelocity Flow
  • Life Cycle Management
  • Life Cycles
  • Models
  • Physical Security
  • Product Development
  • Security
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Software Engineering.