Cryptology ePrint Archive: Report 2008/477
Available versions in chronological order
20081118:215238 (posted 18-Nov-2008 21:52:38 UTC)
On a New Formal Proof Model for RFID Location Privacy
Ton van Deursen and Sasa Radomirovic
20091207:181820 (posted 07-Dec-2009 18:18:20 UTC)
On a New Formal Proof Model for RFID Location Privacy (Extended Version)
Ton van Deursen and Sasa Radomirovic
Publication Info: An abridged version appeared in Information Processing Letters 110(2) (2009), pages 57–61.
[
Cryptology ePrint archive
]