Proving security protocols correct

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 370-381

  Paulson, Lawrence C ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); CRYPTOGRAPHY; FORMAL LOGIC; INTERNET; LINGUISTICS; SECURITY OF DATA;

FORMALISMS; SECURITY PROTOCOLS; YAHALOM PROTOCOL;

NETWORK PROTOCOLS;

EID: 0032597497     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (33)