How and why feedback composition fails

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1996, Pages 95-101

  Zakinthinos, A ^a   Lee, E S ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; DATA COMMUNICATION SYSTEMS; DATA PROCESSING; INFORMATION THEORY; THEOREM PROVING;

GENERALIZED NONINTERFERENCE; N FORWARD CORRECTABILITY; RESTRICTIVENESS;

SECURITY OF DATA;

EID: 0029722329     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)