DocumentCode

3195542

Title

Proving secrecy is easy enough

Author

Cortier, Veronique ; Millen, Jon ; Rueß, Harald

Author_Institution

Ecole Normale Superieure de Cachan

fYear

2001

fDate

2001

Firstpage

97

Lastpage

108

Keywords

Authentication; Automation; Benchmark testing; Computer science; Cryptographic protocols; Debugging; Jacobian matrices; Laboratories; Logic; Safety;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Security Foundations Workshop, 2001. Proceedings. 14th IEEE

ISSN

1063-6900

Print_ISBN

0-7695-1147-3

Type

conf

DOI

10.1109/CSFW.2001.930139

Filename

930139