Logic of composition for information flow predicates

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1996, Pages 82-94

  Peri, Ramesh V ^a   Wulf, William A ^a   Kienzle, Darrell M ^a  

^a UNIVERSITY OF VIRGINIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; DATA PROCESSING; DATABASE SYSTEMS; FINITE AUTOMATA; FORMAL LOGIC; THEOREM PROVING;

INFORMATION FLOW PREDICATES; MANY SORTED PREDICATE LOGIC; POSSIBILISTIC SECURITY PROPERTIES;

SECURITY OF DATA;

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

References (10)