Language generation and verification in the NRL protocol analyzer

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 1996, Pages 48-61

  Meadows, Catherine ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; CRYPTOGRAPHY; FORMAL LANGUAGES; HEURISTIC METHODS; SECURITY OF DATA;

CRYPTOGRAPHIC PROTOCOLS; LEMMAS;

NETWORK PROTOCOLS;

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

References (8)