A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Miro: visual specification of security
1990
IEEE Transactions on Software Engineering
Preserved Fulltext
Miro is a set of languages and tools that support visual specification of file system security. We describe two visual languages: the instance language which allows specification of file system access, and the constraint language which allows specification of security policies. We present the syntax and semantics of these languages, and discuss some novel algorithms that efficiently check for properties, e.g., ambiguity, of instance pictures. We also describe the implementation of our tools and
doi:10.1109/32.60298
fatcat:h5a6rkahzvgedi55j2zwsw42gu