Bibliograph.
Daten | Lauffer, Stephan: Formale Analyse von Authentikationsprotokollen.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 3 (1997).
46 Seiten, deutsch.
|
|---|
| Kurzfassung | kein Abstract.
|
|---|
| Abteilung(en) | Universität Stuttgart, Institut für Parallele und Verteilte Systeme, Verteilte Systeme
|
|---|
| Betreuer | Rothermel, Prof. Kurt; Kühn, Prof. P.J.; Sailer, Reiner |
|---|
| Eingabedatum | 25. November 2021 |
|---|