On a new formal proof model for RFID location privacy

Information Processing Letters

Volumn 110, Issue 2, 2009, Pages 57-61

  van Deursen, Ton ^a   Radomirović, Saša ^a  

^a UNIVERSITY OF LUXEMBOURG   (Luxembourg)

Author keywords

Cryptography; Formal proof models; Location privacy; RFID protocols; Untraceability

Indexed keywords

CLEAR TEXT; FORMAL PROOF MODEL; LOCATION PRIVACY; RFID PROTOCOLS; UNTRACEABILITY;

CRYPTOGRAPHY;

EID: 70449622575     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2009.10.007     Document Type: Article

References (14)

1. G. Avoine, Adversary model for radio frequency identification, Technical Report LASEC-REPORT-2005-001, Swiss Federal Institute of Technology (EPFL), Security and Cryptography Laboratory (LASEC), Lausanne, Switzerland, September 2005
2. van Deursen T., Mauw S., and Radomirović S. Untraceability of RFID protocols. Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks. Seville, Spain. Lecture Notes in Computer Science vol. 5019 (2008), Springer 1-15
3. Vaudenay S. On privacy models for RFID. Advances in Cryptology - ASIACRYPT 2007. Kuching, Malaysia. Lecture Notes in Computer Science vol. 4833 (2007), Springer-Verlag 68-87
4. Juels A., and Weis S. Defining strong privacy for RFID. International Conference on Pervasive Computing and Communications - PerCom 2007, IEEE (2007), IEEE Computer Society Press, New York, US 342-347
5. J. Ha, S. Moon, J. Zhou, J. Ha, A new formal proof model for RFID location privacy, in: ESORICS, 2008, pp. 267-281
6. R. Canetti, Universally composable security: A new paradigm for cryptographic protocols, in: FOCS, 2001, pp. 136-145
7. Dolev D., and Yao A. On the security of public key protocols. IEEE Trans. Inform. Theory IT-29 2 (1983) 198-208
8. Icart T. How to hash into elliptic curves. CRYPTO 2009. Lecture Notes in Computer Science (2009), Springer 303-316
9. Y.K. Lee, L. Batina, I. Verbauwhede, EC-RAC (ECDLP based randomized access control): Provably secure RFID authentication protocol, in: Proceedings of the 2008 IEEE International Conference on RFID, 2008, pp. 97-104
10. Y. Lee, L. Batina, I. Verbauwhede, Untraceable RFID authentication protocols: Revision of EC-RAC, in: IEEE International Conference on RFID, RFID 2009, Orlando, Florida, USA, 2009, pp. 178-185
11. van Deursen T., and Radomirović S. Attacks on RFID protocols (version 1.1), Cryptology ePrint Archive, Report 2008/310 (August 2009). http://eprint.iacr.org/2008/310
12. van Deursen T., and Radomirović S. Untraceable RFID protocols are not trivially composable: Attacks on the revision of EC-RAC, Cryptology ePrint Archive, Report 2009/332 (July 2009). http://eprint.iacr.org/2009/332
13. J. Bringer, H. Chabanne, T. Icart, Cryptanalysis of EC-RAC, a RFID identification protocol, in: CANS, 2008, pp. 149-161
14. B. Möller, A public-key encryption scheme with pseudo-random ciphertexts, in: ESORICS, 2004, pp. 335-351