Carnegie Mellon University
Browse
- No file added yet -

Miró : visual specification of security

Download (1.64 MB)
journal contribution
posted on 2009-10-01, 00:00 authored by Allan Heydon
Abstract: "Miró 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 give examples of how the languages can be applied to real security specification problems."

History

Date

2009-10-01

Usage metrics

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC