Ulrich Dürholz, Marc Fischlin, Michael Kasper, Cristina Onete. A Formal Approach to Distance-Bounding RFID Protocols. In Xuejia Lai, Jianying Zhou, Hui Li, editors, Information Security, 14th International Conference, ISC 2011, Xi'an, China, October 26-29, 2011. Proceedings. Volume 7001 of Lecture Notes in Computer Science, pages 47-62, Springer, 2011. [doi]
Abstract is missing.