Prudent engineering practice for cryptographic protocols

Proceedings of the IEEE Computer Society Symposium on Research in Security and Privacy

Volumn , Issue , 1994, Pages 122-136

  Abadi, Martin ^a   Needham, Roger ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER NETWORKS; CRYPTOGRAPHY; DISTRIBUTED COMPUTER SYSTEMS; DISTRIBUTED DATABASE SYSTEMS; FORMAL LOGIC; INTERACTIVE COMPUTER SYSTEMS; SECURITY OF DATA; SYSTEMS ANALYSIS;

AUTHENTICATION LITERATURE; CRYPTOGRAPHIC MECHANISMS; CRYPTOGRAPHIC PROTOCOLS; FORMALISMS; INFORMAL GUIDELINES;

NETWORK PROTOCOLS;

EID: 0027969914     PISSN: 10637109     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/risp.1994.296587     Document Type: Conference Paper

References (34)