Michael Backes Anupam Datta Ante Derek John C. Mitchell Mathieu Turuani Compositional Analysis of Contract Signing Protocols. 94-110 2005 conf/csfw/2005 CSFW http://dx.doi.org/10.1109/CSFW.2005.12 db/conf/csfw/csfw2005.html#BackesDDMT05