Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A formal analysis technique for authentication protocols

 
: Gürgens, S.

Sankt Augustin: GMD Forschungszentrum Informationstechnik, 1996, 19 S.
Arbeitspapiere der GMD, 988
Englisch
Technischer Bericht
Fraunhofer GMD
security analysis; cryptographic protocol; authentication logic; cryptography; formal model; protocol

: http://publica.fraunhofer.de/dokumente/N-55868.html