Use of Trusted Software Modules for Emergency-Integrity Display

Abstract

This report provides summary of the interface, mechanisms and semantics for high integrity display of information in a secure computer system, based on the use of a high assurance separation kernel and trusted software modules in both the application domain and the trusted software domain.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2008
Accession Number
ADA485736

Entities

People

  • Cynthia E. Irvine
  • David J. Shifflett
  • Paul C. Clark
  • Thuy D. Nguyen
  • Timothy E. Levin
  • Timothy M. Vidas

Organizations

  • Naval Postgraduate School

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Availability
  • Communication Channels
  • Computer Science
  • Computers
  • Computing System Architectures
  • Emergencies
  • Environment
  • Information Operations
  • Information Systems
  • Instructions
  • Materials
  • Networks
  • Operating Systems
  • Security
  • User Interface

Fields of Study

  • Computer science

Readers

  • Cybersecurity.
  • Database Systems and Applications