JungHoon Ha, Sang-Jae Moon, Jianying Zhou, JaeCheol Ha. A New Formal Proof Model for RFID Location Privacy. In Sushil Jajodia, Javier Lopez, editors, Computer Security - ESORICS 2008, 13th European Symposium on Research in Computer Security, Málaga, Spain, October 6-8, 2008. Proceedings. Volume 5283 of Lecture Notes in Computer Science, pages 267-281, Springer, 2008. [doi]
Abstract is missing.