Approach to the formal verification of cryptographic protocols

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 1996, Pages 106-118

  Bolignano, Dominique ^a  

^a Bull   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER SIMULATION; CRYPTOGRAPHY; FORMAL LOGIC; SECURITY OF DATA; THEOREM PROVING;

AUTHENTICATION; CRYPTOGRAPHIC PROTOCOLS; FORMAL VERIFICATION;

NETWORK PROTOCOLS;

EID: 0029711237     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/238168.238196     Document Type: Conference Paper

References (26)