Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani. Compositional Analysis of Contract Signing Protocols. In 18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France. pages 94-110, IEEE Computer Society, 2005. [doi]
@inproceedings{BackesDDMT05,
title = {Compositional Analysis of Contract Signing Protocols},
author = {Michael Backes and Anupam Datta and Ante Derek and John C. Mitchell and Mathieu Turuani},
year = {2005},
doi = {10.1109/CSFW.2005.12},
url = {http://dx.doi.org/10.1109/CSFW.2005.12},
tags = {contracts, protocol, composition, analysis, C++},
researchr = {https://researchr.org/publication/BackesDDMT05},
cites = {0},
citedby = {0},
pages = {94-110},
booktitle = {18th IEEE Computer Security Foundations Workshop, (CSFW-18 2005), 20-22 June 2005, Aix-en-Provence, France},
publisher = {IEEE Computer Society},
isbn = {0-7695-2340-4},
}