@techreport{DR08f, author = {T. van Deursen and S. Radomirovi\'c}, title = {On a new formal proof model for {RFID} Location Privacy}, year = {2008}, month = {November}, institution = {University of Luxembourg}, url = {http://eprint.iacr.org/2008/477}, note = {\url{http://eprint.iacr.org/2008/477}}, project = {rfid} }