Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2003Analysis of e-commerce protocols: Adapting a traditional technique
Gürgens, S.; Lopez, J.; Peralta, R.
Zeitschriftenaufsatz
2000Validation of cryptographic protocols by efficient automated testing
Gürgens, S.; Peralta, R.
Konferenzbeitrag
1999Efficient detection of failure modes in electronic commerce protocols
Gürgens, S.; Lopez, J.; Peralta, R.
Konferenzbeitrag
1998Efficient automated testing of cryptographic protocols
Gürgens, S.; Peralta, R.
Bericht