Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Security analysis of (un-)fair non-repudiation protocols

 
: Gürgens, S.; Rudolph, C.

:

Abdallah, A.E.:
Formal aspects of security : First international conference, London, UK, December 16-18 , 2002 ; revised papers / FASec 2002
Berlin: Springer, 2003 (Lecture Notes in Computer Science 2629)
ISBN: 3-540-20693-0
ISBN: 978-3-540-20693-4
ISSN: 0302-9743
pp.97-114
International Conference on Formal Aspects of Security (FASec) <1, 2002, London>
English
Conference Paper
Fraunhofer SIT ()

Abstract
An approach to protocol analysis using asynchronous product automata (APA) and the simple homomorphism verification tool (SHVT) is demonstrated on several variants of the well known Zhou-Gollmann fair non-repudiation protocol. Attacks on these protocols are presented, that, to our knowledge, have not been published before. Finally, an improved version of the protocol is proposed.
This paper describes results of work within the project CASENET partly being funded by the European Commission under IST-2001-32446.

: http://publica.fraunhofer.de/documents/N-37324.html