Login / Signup

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

Steve KremerJean-François Raskin
Published in: CONCUR (2001)
Keyphrases
  • fair exchange protocols
  • trusted third party
  • fair exchange
  • signature scheme
  • model checking
  • electronic commerce
  • digital signature
  • third party
  • public key
  • multi party non repudiation