MIRO - VISUAL SPECIFICATION OF SECURITY

被引：24

作者：

HEYDON, A

MAIMONE, MW

TYGAR, JD

WING, JM

ZAREMSKI, AM

机构：

[1] School of Computer Science, Carnegie-Mellon University, Pittsburgh

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 10期

基金：

美国国家科学基金会;

关键词：

Formal specification; higraph; security; specification tools; visual language;

D O I：

10.1109/32.60298

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Miró is a set of languages and tools that support visual specification of file system security. We present two visual languages: the instance language, which allows specification of file system access, and the constraint language, which allows specification of security policies. We also describe tools we have implemented and give examples of how our languages can be applied to real security specification problems. © 1990 IEEE

引用

页码：1185 / 1197

页数：13

共 24 条

[1] Ambler A. L., 1989, 1989 IEEE Workshop on Visual Languages (Cat. No.89TH0277-4), P138, DOI 10.1109/WVL.1989.77055
[2] BELL DE, 1973, AD780528
[3] BELL DE, 1973, AD771543
[4] BELL DE, 1973, AD770768
[5] BENZEL T, 1984, 1984 P IEEE S SEC PR, P125
[6] ON VISUAL FORMALISMS
HAREL, D
[J]. COMMUNICATIONS OF THE ACM, 1988, 31 (05) : 514 - 530
[7] Heydon A., 1989, 1989 IEEE Workshop on Visual Languages (Cat. No.89TH0277-4), P86, DOI 10.1109/WVL.1989.77047
[8] HEYDON A, 1989, 11TH P IFIP WORLD CO, P157
[9] Hoffman C.M., 1982, GROUP THEORETIC ALGO
[10] Kopache M. E., 1988, 1988 IEEE Workshop on Visual Languages (Cat. No.TH0229-5), P231, DOI 10.1109/WVL.1988.18033

← 1 2 3 →