A Formal Approach to Distance-Bounding RFID Protocols. - Ulrich Dürholz; Marc Fischlin; Michael Kasper; Cristina Onete (IACR Cryptol. ePrint Arch., 2011)