@article{DJP17,
  author        = {Dong, N. and Jonker, H. and Pang, J.},
  title         = {Formal Modelling and Analysis of Receipt-free Auction Protocols in Applied Pi},
  journal       = {Computers \& Security},
  volume        = {65},
  pages         = {405-432},
  year          = {2017},
  doi           = {10.1016/j.cose.2016.09.002}
}