Title :
Miro semantics for security
Author :
Maimone, Mark W. ; Tygar, J.D. ; Wing, Jeannett M.
Author_Institution :
Dept. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Abstract :
The Miro project comprises designing and implementing a visual language for specifying properties of large software systems. The authors are designing the language in tandem with giving it a formal semantics. They present the semantics of the language as applied to the security domain.<>
Keywords :
high level languages; security of data; user interfaces; Miro project; formal semantics; security; visual language; Permission;
Conference_Titel :
Visual Languages, 1988., IEEE Workshop on
Conference_Location :
Pittsburgh, PA, USA
Print_ISBN :
0-8186-0876-5
DOI :
10.1109/WVL.1988.18009
