Analysis of a multi-party fair exchange protocol and formal proof of correctness in the strand space model (2005)

by S Kremer, A Mukhamedov, E Ritter
Venue:In Proceedings of the 9th International Conference on Financial Cryptography and Data Security, volume 3570 of Lecture Notes in Computer Science