Aybek Mukhamedov, Steve Kremer, Eike Ritter. Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. In Andrew S. Patrick, Moti Yung, editors, Financial Cryptography and Data Security, 9th International Conference, FC 2005, Roseau, The Commonwealth of Dominica, February 28 - March 3, 2005, Revised Papers. Volume 3570 of Lecture Notes in Computer Science, pages 255-269, Springer, 2005. [doi]