@INPROCEEDINGS{HaMZH-2008-esorics,
    author        = {Ha, JungHoon and Moon, SangJae and Zhou, Jianying and Ha, JaeCheol},
    title         = {{A New Formal Proof Model for RFID Location Privacy}},
    booktitle     = {13th European Symposium on Research in Computer Security -- ESORICS 2008},
    year          = {2008},
    editor        = {Sushil Jajodia and Javier López},
    volume        = {5283},
    series        = {Lecture Notes in Computer Science},
    pages         = {267--281},
    address       = {Malaga, Spain},
    month         = {October},
    organization  = {},
    publisher     = {Springer},
   bibsource     = {Information Security Group (GSI), UCL, Louvain-la-Neuve, Belgium},
}