Use of Trusted Software Modules for High Integrity Data Display

Loading...
Thumbnail Image
Authors
Levin, Timothy E.
Nguyen, Thuy N.
Clark, Paul C.
Irvine, Cynthia E.
Shifflett, David J.
Vidas, Timothy M.
Subjects
Operating systems
Separation Kernel
secure display
trusted software module
security
security architecture
Advisors
Denning, Peter J.
Date of Issue
2008-06
Date
Publisher
Monterey, California: Naval Postgraduate School.
Language
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.
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Identifiers
NPS Report Number
NPS-CS-08-012
Sponsors
Prepared for NSF and DARPA
Funder
This report was prepared for and funded by National Science Foundation and the Defense Advanced Research Projects Agency.
Format
Citation
Distribution Statement
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.