Looking for diamonds in the desert - extending automatic protocol generation to three-party authentication and key agreement protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2000, Pages 64-76

  Perrig, Adrian ^a   Song, Dawn ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PRIVACY; DATA STRUCTURES; NETWORK PROTOCOLS; PROBABILITY DISTRIBUTIONS; THEOREM PROVING;

AUTOMATIC PROTOCOL GENERATION (APG); KEY AGREEMENT PROTOCOLS; SOFTWARE PACKAGE ATHENA; THREE-PARTY AUTHENTICATION (TTP) METHOD;

SECURITY OF DATA;

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

References (16)