SHARED RESOURCE MATRIX METHODOLOGY - AN APPROACH TO IDENTIFYING STORAGE AND TIMING CHANNELS

被引：86

作者：

KEMMERER, RA

机构：

来源：

ACM TRANSACTIONS ON COMPUTER SYSTEMS | 1983年 / 1卷 / 03期

关键词：

D O I：

10.1145/357369.357374

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：256 / 277

页数：22

共 14 条

[1]

AMES SR, 1978, SYSTEM RELIABILITY I, V2

[2]

Bell David E., 1974, ESDTR73278 MITRE COR, V1

[3]

DENNING DE, 1976, COMMUN ACM, V19, P238

[4]

Feiertag R. J., 1980, CSL109 SRI INT

[5]

GROSSMAN G, 1982, 1982 P S SEC PRIV IE, P144

[6]

KEMMERER RA, 1981, TRCS8110 U CAL COMP

[7]

KLINE CS, 1980, THESIS U CALIFORNIA

[8] CONFINEMENT PROBLEM [J].

LAMPSON, BW .

[9]

LIPNER SB, 1975, 5TH P S OP SYST PRIN

[10]

LOCASSO R, 1980, SDC TM688900001 SYST