Serge Vaudenay. On Modeling Terrorist Frauds - Addressing Collusion in Distance Bounding Protocols. In Willy Susilo, Mohammad Reza Reyhanitabar, editors, Provable Security - 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings. Volume 8209 of Lecture Notes in Computer Science, pages 1-20, Springer, 2013. [doi]
Abstract is missing.