@inproceedings{ZZPM09, author = {Y. Zhang and C. Zhang and J. Pang and S. Mauw}, title = {Game-based verification of multi-party contract signing protocols}, booktitle = {Proc.\ 6th Workshop on Formal Aspects in Security and Trust}, publisher = {Springer-Verlag}, series = {LNCS}, editor = {Pierpaolo Degano and Joshua Guttman}, month = {November 5-6}, year = {2009}, location = {Eindhoven, The Netherlands}, volume = {5983}, pages = {186--200}, url = {http://satoss.uni.lu/members/jun/papers/FAST09.pdf} }