Invariant generation techniques in cryptographic protocol analysis

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2000, Pages 159-167

  Meadows, Catherine ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; DATA PRIVACY; DATA STRUCTURES; NETWORK PROTOCOLS;

CRYPTOGRAPHIC PROTOCOL ANALYSIS; INVARIANT GENERATION METHODS;

SECURITY OF DATA;

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

References (18)