@article{DJP17, author = {N. Dong and H. L. Jonker and J. Pang}, title = {Formal modelling and analysis of receipt-free auction protocols in applied pi}, journal = {Computers \& Security}, year = {2017}, volume = {65}, number = {}, pages = {405-432} }