VIRTUAL MACHINE INTEGRITY

被引：3

作者：

CHANDERSEKARAN, CS ^{[1
]}

SHANKAR, KS ^{[1
]}

机构：

[1] BURROUGHS CORP,PAOLI,PA 19301

来源：

关键词：

D O I：

10.1147/sj.153.0264

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：264 / 269

页数：6

共 22 条

[1] Anderson J. P., 1972, ESDTR7351
[2] ANDERSON JC, 1972, APPL THIN FILMS, P1
[3] Bagley J. D., 1975, Operating Systems Review, V9, P82, DOI 10.1145/1067629.806525
[4] BELADY LA, 1974, AUG P WORKSH PROT OP, P27
[5] BRINCHHANSEN P, 1970, CACM, V13, P238
[6] HIERARCHICAL APPROACH TO COMPUTER SYSTEM INTEGRITY
DONOVAN, JJ
MADNICK, SE
[J]. IBM SYSTEMS JOURNAL, 1975, 14 (02) : 188 - 202
[7] DYNAMIC VERIFICATION OF OPERATING SYSTEM DECISIONS
FABRY, RS
[J]. COMMUNICATIONS OF THE ACM, 1973, 16 (11) : 659 - 668
[8] MEMORYLESS SUBSYSTEMS
FENTON, JS
[J]. COMPUTER JOURNAL, 1974, 17 (02) : 143 - 147
[9] GRAHAM GS, 1972, SPR P JOINT COMP C, V40, P417
[10] JONES AK, 1974, AUG P WORKSH PROT OP, P121