Miro semantics for security
Mark W. Maimone, J. D. Tygar, J.M. Wing · 2003
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.>