DocumentCode :
1334594
Title :
Miro: visual specification of security
Author :
Heydon, Allan ; Maimone, Mark W. ; Tygar, J.D. ; Wing, Jeannette M. ; Zaremski, Amy Moormann
Author_Institution :
Sch. of Comput. Sci., Carnegie-Mellon Univ., Pittsburgh, PA, USA
Volume :
16
Issue :
10
fYear :
1990
fDate :
10/1/1990 12:00:00 AM
Firstpage :
1185
Lastpage :
1197
Abstract :
Miro is a set of languages and tools that support the visual specification of file system security. Two visual languages are presented: the instance language, which allows specification of file system access, and the constraint language, which allows specification of security policies. Miro visual languages and tools are used to specify security configurations. A visual language is one whose entities are graphical, such as boxes and arrows, specifying means stating independently of any implementation the desired properties of a system. Security means file system protection: ensuring that files are protected from unauthorized access and granting privileges to some users, but not others. Tools implemented and examples of how these languages can be applied to real security specification problems are described
Keywords :
security of data; specification languages; visual programming; Miro; arrows; boxes; constraint language; file system security; instance language; security specification problems; tools; visual specification of security; Computer displays; Contracts; Control systems; Data structures; File systems; Helium; Operating systems; Protection; Security; Visualization;
fLanguage :
English
Journal_Title :
Software Engineering, IEEE Transactions on
Publisher :
ieee
ISSN :
0098-5589
Type :
jour
DOI :
10.1109/32.60298
Filename :
60298
Link To Document :
بازگشت