A Practical Tool for Developing Trusted Applications

Loading...
Thumbnail Image
Authors
Irvine, Cynthia E.
Volpano, Dennis
Subjects
Advisors
Date of Issue
1995-12-00
Date
Publisher
Proceedings of the 11th Annual Computer Security Applications Conference
Language
Abstract
We introduce a tool we are developing that will allow designers of trusted applications to isolate those portions of a system where an information flow policy is being violated. The tool is a language-sensitive editor that checks a program for policy violations incrementally as the program is developed. What is novel about our approach is that the checking occurs as a form of type checking.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Proceedings of the 11th Annual Computer Security Applications Conference, New Orleans, LA, pp. 190-195, December 1995
Distribution Statement
Approved for public release; distribution is unlimited.
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.
Collections