Framework for expressing models of security policy

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

Volumn , Issue , 1989, Pages 229-239

  Dobson, John E ^a   McDermid, John A ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--FORMAL LOGIC; MATHEMATICAL MODELS; RISK STUDIES--ASSESSMENT;

SECURITY POLICY; SECURITY RISK EVALUATION; TRUSTED SYSTEM;

DATA PROCESSING;

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

References (9)