Miro semantics for security
暂无分享,去创建一个
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.<<ETX>>
[1] Terry V. Benzel. Analysis of a Kernel Verification , 1984, IEEE Symposium on Security and Privacy.
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..