Athena: a new efficient automatic checker for security protocol analysis

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1999, Pages 192-202

  Song, Dawn Xiaodong ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CRYPTOGRAPHY; FORMAL LOGIC; NETWORK PROTOCOLS; REDUNDANCY; THEOREM PROVING;

AUTOMATIC CHECKER; SECURITY PROTOCOL ANALYSIS; STRAND SPACE MODEL;

SECURITY OF DATA;

EID: 0032678887     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (26)