JungHoon Ha Sang-Jae Moon Jianying Zhou JaeCheol Ha A New Formal Proof Model for RFID Location Privacy. 267-281 2008 ESORICS http://dx.doi.org/10.1007/978-3-540-88313-5_18 conf/esorics/2008 db/conf/esorics/esorics2008.html#HaMZH08