@article{DR09d,
  author        = {T. van Deursen and S. Radomirovi\'c},
  title         = {On a new formal proof model for {RFID} location privacy},
  year          = {2009},
  publisher     = {Elsevier},
  journal       = {Information Processing Letters},
  volume        = {110},
  number        = {2},
  pages         = {57--61},
  doi           = {10.1016/j.ipl.2009.10.007},
  project       = {rfid}
}