Open issues in formal methods for cryptographic protocol analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2052, Issue , 2001, Pages 21-

  Meadows, Catherine ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY; FORMAL METHODS; NETWORK SECURITY;

CRYPTOGRAPHIC PROTOCOLS; FORMAL METHODS FOR CRYPTOGRAPHIC PROTOCOLS; PROBLEM AREAS; RESEARCH NEEDS; SPECIALIZED TOOLS;

NETWORK ARCHITECTURE;

EID: 84955583138     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45116-1_3     Document Type: Conference Paper

References (0)