Accession Number:

ADA248437

Title:

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

Descriptive Note:

Annual rept. 1 Oct 1988-30 Sep 1989

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

1989-09-30

Pagination or Media Count:

19.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE