Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Efficient detection of failure modes in electronic commerce protocols

 
: Gürgens, S.; Lopez, J.; Peralta, R.

:
Volltext (PDF; )

Cammelli, A. ; IEEE Computer Society:
Tenth International Workshop on Database and Expert Systems Applications : proceedings ; September 1-3, 1999, Florence, Italy ; DEXA'99
Los Alamitos: IEEE Computer Society Press, 1999
ISBN: 0-7695-0281-4
S.850-857
International Workshop on Database and Expert Systems Applications <10, 1999, Washington>
Englisch
Konferenzbeitrag, Elektronische Publikation
Fraunhofer SIT ()
cryptography; smartcard; formal model; protocol

Abstract
The design of key distribution and authentication protocols has been shown to be error-prone. These protocols constitute the part of more complex protocols used for electronic commerce transactions. Consequently, these new protocols are likely to contain flaws that are even more difficult to find. In this paper, we present a search method for detecting potential security flaws in such protocols. Our method relies on automatic theorem proving tools. Among others we present our analysis of a protocol recently standardized by the German standardization organization DIN to be used in digital signature applications for smart cards. Our analysis resulted in the standard being supplemented with comments that explain the possible use of cryptographic keys.

: http://publica.fraunhofer.de/dokumente/2004922214.html