CSP and determinism in security modelling

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

Volumn , Issue , 1995, Pages 114-127

  Roscoe, A W ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA COMMUNICATION SYSTEMS; DATA PROCESSING; USER INTERFACES;

ABSTRACTION; DETERMINISM; MODEL CHECKER; PARADOXIC PROPERTY;

SECURITY OF DATA;

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

References (17)