The use of logic in the analysis of cryptographic protocols

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1991, Pages 156-170

  Syverson, Paul ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

CRYPTOGRAPHIC PROTOCOLS;

COMPUTER SYSTEMS, DIGITAL;

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

References (37)