CERTIFICATION OF PROGRAMS FOR SECURE INFORMATION-FLOW

被引：535

作者：

DENNING, DE ^{[1
]}

DENNING, PJ ^{[1
]}

机构：

[1] PURDUE UNIV,DEPT COMP SCI,W LAFAYETTE,IN 47907

来源：

关键词：

D O I：

10.1145/359636.359712

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：504 / 513

页数：10

共 33 条

[1]

Allen F.E., 1970, ACM SIGPLAN NOTICES, V5, P1, DOI DOI 10.1145/390013.808479

[2]

ANDREWS GR, 1974, THESIS U WASH

[3]

BELL DE, ESDTR73278, V1

[4]

Birkhoff G., 1967, LATTICE THEORY, V25

[5] LATTICE MODEL OF SECURE INFORMATION-FLOW [J].

DENNING, DE .

[6]

DENNING DE, 1975, THESIS PURDUE U

[7]

DENNING DE, 1974, AUG P INT WORKSH PRO, P55

[8]

DENNING DE, 1976, TR179 PURD U DEP COM

[9]

Fenton J. S., 1974, ABSTRACT COMPUTER MO

[10]

Fenton Jeffrey Stewart, 1973, THESIS U CAMBRIDGE