Micro tools

Miro provides a visual way to specify security configurations. It consists of two visual specification languages, the instance language and the constrain language. The current Miro tool support is described. The set of tools is divided into front-end and back-end tools. Front-end tools include the editor, parser library, ambiguity checker, and constraint checker; the back-end tools are the file-system-specific probers and configures. What makes some of these tools particularly novel are the nontrivial algorithms implemented to check for properties such as ambiguity. What makes the overall design of the Miro environment particularly interesting and useful for prototyping is loosely coupled way in which the individual tools interact