Absorbing covers and intransitive non-interference

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1995, Pages 102-113

  Pinsky, Sylvan ^a  

^a NATIONAL SECURITY AGENCY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DATA PROCESSING; DECISION THEORY; ITERATIVE METHODS; STANDARDS; USER INTERFACES;

ABSORBING COVERS; EQUIVALENCE RELATION ARGUMENTS; INFORMATION FLOW; INTRANSITIVE NONINTERFERENCE; UNWINDING THEOREMS;

SECURITY OF DATA;

EID: 0029228214     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)