Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2001Authenticity and provability - a formal framework
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht
2001Role based specification and security analysis of cryptographic protocols using asynchronous product automata
Gürgens, S.; Ochsenschläger, P.; Rudolph, C.
Bericht