Login / Signup
Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.
Aybek Mukhamedov
Steve Kremer
Eike Ritter
Published in:
Financial Cryptography (2005)
Keyphrases
</>
multi party
fair exchange
formal proof
probabilistic model
probability distribution
software engineering
domain independent
fair exchange protocols