Security properties and CSP

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

Volumn , Issue , 1996, Pages 174-187

  Schneider, Steve ^a  

^a UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SIMULATION; DATA COMMUNICATION SYSTEMS; NETWORK PROTOCOLS; PROGRAM DEBUGGING;

AUTHENTICATION; COMMUNICATING SEQUENTIAL PROCESSES; CONFIDENTIALITY; SECURITY PROPERTIES;

SECURITY OF DATA;

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

References (7)