Miro semantics for security

[Proceedings] 1988 IEEE Workshop on Visual Languages Pub Date : 1988-10-10 DOI:10.1109/WVL.1988.18009

M. Maimone, J. D. Tygar, Jeannette M. Wing

引用次数: 6

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.<>

查看原文本刊更多论文

安全的Miro语义

Miro项目包括设计和实现一种用于指定大型软件系统属性的可视化语言。作者在设计该语言的同时，也给了它一个形式语义。它们表示应用于安全领域的语言的语义。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[Proceedings] 1988 IEEE Workshop on Visual Languages

自引率

0.00%

发文量