English
Deutsch
Log In
Log in with Fraunhofer Smartcard
Password Login
Research Outputs
Fundings & Projects
Researchers
Institutes
Statistics
Fraunhofer-Gesellschaft
Home
Fraunhofer-Gesellschaft
Konferenzschrift
SG logic - a formal analysis technique for authentication protocols
Details
Full
Export
Statistics
Options
Show all metadata (technical view)
1998
Conference Paper
Title
SG logic - a formal analysis technique for authentication protocols
Author(s)
Gürgens, S.
Mainwork
Security protocols
Conference
International Workshop on Security Protocols 1997
DOI
10.1007/BFb0028167
Language
English
Fraunhofer-Institut für Sichere Informationstechnologie SIT
