A system for the specification and analysis of key management protocols

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1991, Pages 182-195

  Meadows, Catherine ^a  

^a NAVAL RESEARCH LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY--ALGORITHMIC LANGUAGES;

FORMAL SPECIFICATION LANGUAGES; MANAGEMENT PROTOCOLS;

COMPUTER SYSTEMS, DIGITAL;

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

References (24)