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 |
---|