@inproceedings{backes05compositional,
  author       = {Backes, Michael and Datta, Anupam and Derek, Ante and Mitchell, John C. and Turuani, Mathieu},
  title        = {Compositional Analysis of Contract Signing Protocols},
  booktitle    = {Proceedings of 18th IEEE Computer Security Foundations Workshop (CSFW)},
  month        = {June},
  year         = {2005},
  pages        = {94-111}
}