Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A formal analysis technique for authentication protocols

 
: Gürgens, S.

Pribyl, J. ; Czech Technical University, Prag:
1st International Conference on the Theory and Applications of Cryptology. Proceedings. Pt.1 : Prague, Czech Republic, 30 September - 3 October, 1996
Prague: CTU Publ. House, 1996
ISBN: 80-0101502-5
S.306-323
International Conference on the Theory and Applications of Cryptology (PRAGOCRYPT) <1, 1996, Prague>
Englisch
Konferenzbeitrag
Fraunhofer SIT ()
security analysis; cryptographic protocol; authentication logic; cryptography; formal model; protocol

: http://publica.fraunhofer.de/dokumente/960817.html