UNWINDING AND INFERENCE CONTROL.

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1984, Pages 75-86

  Goguen, Joseph A ^a   Meseguer, Jose ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; CONDITIONAL NONINTERFERENCE; INFERENCE CONTROL; MULTILEVEL SECURITY (MLS); SECURITY POLICY; UNWINDING VERIFICATION TECHNIQUE;

DATA PROCESSING;

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

References (0)