Miro semantics for security
- 6 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
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.Keywords
This publication has 2 references indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Analysis of a Kemel VerificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1984