TAPS: A first-order verifier for cryptographic protocols

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2000, Pages 144-158

  Cohen, Ernie ^a  

^a TELCORDIA TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHIC PROTOCOLS; ORDINARY FIRST-ORDER REASONING;

CRYPTOGRAPHY; DATA PRIVACY; DATA STRUCTURES; DECISION THEORY; NETWORK PROTOCOLS; RESPONSE TIME (COMPUTER SYSTEMS);

SECURITY OF DATA;

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

References (19)