Annual Report for Contract Number N00014-88-K-0641 (Carnegie Mellon University)
Annual rept. 1 Oct 1988-30 Sep 1989
CARNEGIE-MELLON UNIV PITTSBURGH PA SCHOOL OF COMPUTER SCIENCE
Pagination or Media Count:
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.
- Computer Programming and Software