A Game-based Verification of Non-repudiation and Fair Exchange Protocols.

Steve Kremer Jean-François Raskin

Published in: J. Comput. Secur. (2003)

Keyphrases

fair exchange protocols
trusted third party
fair exchange
electronic commerce
signature scheme
model checking
third party
multi party non repudiation
lightweight
credit card
digital signature