C3PO: A tool for automatic sound cryptographic protocol analysis

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2000, Pages 77-87

  Dekker, Anthony H ^a  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC SOUND CRYPTOGRAPHIC PROTOCOLS; KRIPKE POSSIBLE-WORLDS SEMANTICS;

COMPUTATIONAL LINGUISTICS; CRYPTOGRAPHY; DATA PRIVACY; DATA STRUCTURES; ELECTRONIC COMMERCE; GRAPHICAL USER INTERFACES; NETWORK PROTOCOLS; THEOREM PROVING;

SECURITY OF DATA;

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

References (15)