@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 (FAST'10)},
  publisher     = {Springer-Verlag},
  series        = {LNCS},
  year          = {2011},
  volume        = {6561},
  pages         = {223--238},
  ee            = {http://dx.doi.org/10.1007/978-3-642-19751-2_15}
}