Using temporal logic to specify and verify cryptographic protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1995, Pages 108-115

  Gray III, James W ^a   McLean, John ^a  

^a HONG KONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Hong Kong)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY ANALYSIS; STANDARD SAFETY PROPERTIES; SYSTEM PENETRATORS; TEMPORAL LOGIC;

ALGEBRA; CRYPTOGRAPHY; FORMAL LOGIC; MATHEMATICAL MODELS; SECURITY OF DATA; SYSTEMS ANALYSIS;

NETWORK PROTOCOLS;

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

References (11)