TY  - BOOK
AU  - Gürgens,Sigrid
TI  - A formal analysis technique for authentication protocols
T2  - Arbeitspapiere der GMD
PY  - 1996///
CY  - Sankt Augustin
PB  - GMD
KW  - Forschungsbericht
KW  - gnd-content
ER  -