Reasoning about belief in cryptographic protocols

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1990, Pages 234-248

  Gong, Li ^a   Needham, Roger ^a   Yahalom, Raphael ^a  

^a UNIVERSITY OF CAMBRIDGE   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DATA PROCESSING--SECURITY OF DATA;

CRYPTOGRAPHIC PROTOCOLS; MESSAGES; MUTUAL TRUST;

COMPUTER NETWORKS;

EID: 0025023289     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/risp.1990.63854     Document Type: Conference Paper

References (8)