@inproceedings{MRT09, author = {S. Mauw and S. Radomirovi\'{c} and M. Torabi Dashti}, title = {Minimal message complexity of asynchronous multi-party contract signing}, booktitle = {Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF'09)}, publisher = {IEEE Computer Society}, year = {2009}, pages = {13--25}, url = {ftp://ftp.inf.ethz.ch/pub/publications/tech-reports/6xx/616.pdf} }