USING FORMAL VERIFICATION TECHNIQUES TO ANALYZE ENCRYPTION PROTOCOLS.

Proceedings of the Symposium on Security and Privacy

Volumn , Issue , 1987, Pages 134-139

  Kemmerer, Richard A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHY;

ENCRYPTION PROTOCOLS; VERIFICATION SYSTEM; VERIFICATION TECHNIQUES;

COMPUTER SOFTWARE;

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

References (13)