Resolve-Impossibility for a Contract-Signing Protocol

[MukhamedovRyan2006] Aybek Mukhamedov and Mark Ryan. Resolve-Impossibility for a Contract-Signing Protocol. In 19th Computer Security Foundations Workshop (CSFW), pages 167-176, IEEE Computer Society Press. 2006.