Diploma Thesis DIP-1997-03

BibliographyLauffer, 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 dateNovember 25, 2021
   Publ. Computer Science