Title :
Proving secrecy is easy enough
Author :
Cortier, Veronique ; Millen, Jon ; Rueß, Harald
Author_Institution :
Ecole Normale Superieure de Cachan
Keywords :
Authentication; Automation; Benchmark testing; Computer science; Cryptographic protocols; Debugging; Jacobian matrices; Laboratories; Logic; Safety;
Conference_Titel :
Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE
Print_ISBN :
0-7695-1147-3
DOI :
10.1109/CSFW.2001.930139
