@misc{cryptoeprint:2012:031,
    author = {Da-Zhi Sun},
    title = {An error in "On a new formal proof model for RFID location privacy"},
    howpublished = {Cryptology ePrint Archive, Report 2012/031},
    year = {2012},
    url = {http://eprint.iacr.org/2012/031},
}