@inproceedings{DJP10, author = {N. Dong and H. L. Jonker and J. Pang}, title = {Analysis of a receipt-free auction protocol in the applied pi calculus}, booktitle = {Proc.\ 7th Workshop on Formal Aspects in Security and Trust}, publisher = {Springer-Verlag}, series = {LNCS}, year = {2011}, volume = {6561}, pages = {223--238}, url = {http://satoss.uni.lu/members/jun/papers/FAST10.pdf} }