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

Aybek Mukhamedov, Steve Kremer, Eike Ritter

Browse the full FC paper archive.