Login / Signup

Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.

Aybek MukhamedovSteve KremerEike Ritter
Published in: Financial Cryptography (2005)
Keyphrases
  • multi party
  • fair exchange
  • formal proof
  • probabilistic model
  • probability distribution
  • software engineering
  • domain independent
  • fair exchange protocols