English
Deutsch
Log In
Password Login
or
Log in with Fraunhofer Smartcard
Research Outputs
Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Artikel
Security analysis of authentication protocols - a formal approach
Details
Full
Export
Statistics
Options
1999
Book Article
Titel
Security analysis of authentication protocols - a formal approach
Author(s)
Gürgens, S.
Hauptwerk
25 years GMD Darmstadt
Language
English
google-scholar
View Details
Fraunhofer-Institut für Sichere Informationstechnologie SIT