Annual Report for Contract Number N00014-88-K-0641 (Carnegie Mellon University)

Abstract

The Miro group is designing and implementing a package of two visual languages for computer security specifications. The instance language describes static filesystem configurations; who are the users, and what files can they access at this moment in time? The constraint language defines sets of legal instance pictures: what configurations are allowed? By October 1988, work on the instance language was essentially complete: a formal description of its semantics was presented at the Visual Language workshop that month. The constraint language then developed over the course of the 1988-1989 academic year. The rest of this summary presents highlights of the constraint language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 30, 1989
Accession Number
ADA248437

Entities

People

  • Mark W. Maimone

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Cybersecurity
  • Failure Mode And Effect Analysis
  • Fault Tolerance
  • Language
  • Lisp Programming Language
  • Models
  • Operating Systems
  • Programming Languages
  • Prototypes
  • Software Development
  • Specifications
  • Test And Evaluation
  • Two Dimensional

Fields of Study

  • Computer science

Readers

  • Academic Conference Management
  • Computational Linguistics
  • Database Systems and Applications

Technology Areas

  • Cyber