Extending cryptographic logics of belief to key agreement protocols

1st ACM Conference on Computer and Communications Security

Volumn , Issue , 1993, Pages 232-243

  van Oorschot, Paul C ^a  

^a NORTEL NETWORKS   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL SYSTEMS; ENCODING (SYMBOLS); FORMAL LOGIC; IDENTIFICATION (CONTROL SYSTEMS); MATHEMATICAL MODELS; NETWORK PROTOCOLS; ONLINE SYSTEMS; SECURITY OF DATA;

AUTHENTICATION LOGIC; CRYPTOGRAPHIC LOGICS; DIFFIE-HELLMAN BASED AGREEMENT PROTOCOLS; KEY AGREEMENT PROTOCOL; SECURITY FLAWS;

CRYPTOGRAPHY;

EID: 0027735231     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/168588.168617     Document Type: Conference Paper

References (17)