Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Security analysis of efficient (Un-) fair non-repudiation protocols

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


Formal aspects of computing 17 (2005), No.3, pp.260-276
ISSN: 0934-5043
Journal Article
Fraunhofer SIT ()

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 and on two more recent optimistic fair non-repudiation protocols. Attacks on all these protocols are presented and an improved version of the Zhou-Gollmann protocol is proposed.