| Bibliography | Lauffer, Stephan: Formale Analyse von Authentikationsprotokollen.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 3 (1997).
46 pages, german.
|
|---|
| Abstract | kein Abstract.
|
|---|
| Department(s) | University of Stuttgart, Institute of Parallel and Distributed Systems, Distributed Systems
|
|---|
| Superviser(s) | Rothermel, Prof. Kurt; Kühn, Prof. P.J.; Sailer, Reiner |
|---|
| Entry date | November 25, 2021 |
|---|