Inductive approach to verifying cryptographic protocols

Journal of Computer Security

Volumn 6, Issue 1-2, 1998, Pages 85-128

  Paulson, Lawrence C ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DATA COMMUNICATION SYSTEMS; DATA STRUCTURES; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

CRYPTOGRAPHIC PROTOCOLS;

SECURITY OF DATA;

EID: 0031643297     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-1998-61-205     Document Type: Article

References (42)