A Practical Tool for Developing Trusted Applications

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1995
Accession Number
ADA484197

Entities

People

  • Cynthia E. Irvine
  • Dennis Volpano

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Cyber
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Algorithms
  • Application Software
  • Computer Access Control
  • Computer Programming
  • Computer Science
  • Computers
  • Cybersecurity
  • Information Operations
  • Information Systems
  • Language
  • Life Cycles
  • Malware
  • Programming Languages
  • Security
  • Software Development

Fields of Study

  • Computer science

Readers

  • Computational Modeling and Simulation
  • Cybersecurity.
  • Database Systems and Applications