DocumentCode
2847956
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
fYear
1988
fDate
10-12 Oct. 1988
Firstpage
45
Lastpage
51
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Visual Languages, 1988., IEEE Workshop on
Conference_Location
Pittsburgh, PA, USA
Print_ISBN
0-8186-0876-5
Type
conf
DOI
10.1109/WVL.1988.18009
Filename
18009
Link To Document