A logical approach to multilevel security of probabilistic systems

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1992, Pages 164-176

  Gray III, James W ^a   Syverson, Paul F ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

DATA COMMUNICATION SYSTEMS; FORMAL LOGIC; PROBABILITY; SECURITY SYSTEMS;

COMMUNICATING PROCESSES; INFORMATION FLOW; MODAL LOGIC; MULTILEVEL SECURITY; POSSIBLE WORLD SEMANTICS; PROBABILISTIC SYSTEMS; ROUND ROBIN SERVER; SECURITY ANALYSIS;

DISTRIBUTED COMPUTER SYSTEMS;

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

References (31)