Options
1999
Diploma Thesis
Title
Sicherheitsanalyse von Authentifizierungsprotokollen
Title Supplement
Model Checking mit dem SH-Verification Tool
Thesis Note
Darmstadt, TU, Dipl.-Arb., 1999
Publishing Place
Darmstadt
File(s)
Rights
Use according to copyright law
Language
German