Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
1999Sicherheitsanalyse von Authentifizierungsprotokollen - model checking mit dem SH-Verifikation Tool
Basak, G.
Diplomarbeit
1998Efficient automated testing of cryptographic protocols
Gürgens, S.; Peralta, R.
Bericht
1998Multimedia and security
: Dittmann, J.; Wohlmacher, P.; Horster, P.; Steinmetz, R.
Tagungsband