Universally Composable and Forward Secure RFID Authentication and Key Exchange

Tri van Le; Mike Burmester; Breno de Medeiros

Paper 2006/448 Original: eprint.iacr.org/2006/448 ↗

Universally Composable and Forward Secure RFID Authentication and Key Exchange

Tri van Le

Mike Burmester

Breno de Medeiros

Abstract

Protocols proven secure in universally composable models remain secure under concurrent and modular composition, and may be easily plugged into more complex protocols without having their security re-assessed with each new use. Recently, a universally composable framework has been proposed for Radio-Frequency Identification (RFID) authentication protocols, that simultaneously provides for availability, anonymity, and authenticity. In this paper we extend that framework to support key-compromise and forward-security issues. We also introduce new, provably secure, and highly practical protocols for anonymous authentication and key-exchange by RFID devices. The new protocols are lightweight, requiring only a pseudo-random bit generator. The new protocols satisfy forward-secure anonymity, authenticity, and availability requirements in the Universal Composability model. The proof exploits pseudo-randomness in the standard model.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
History: 2006-12-05: last updated; 2006-12-04: published
Short URL: https://ia.cr/2006/448
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2006/448,
      author = {Tri van Le and Mike Burmester and Breno de Medeiros},
      title = {Universally Composable and Forward Secure RFID Authentication and Key Exchange},
      howpublished = {Cryptology {ePrint} Archive, Paper 2006/448},
      year = {2006},
      url = {https://eprint.iacr.org/2006/448}
}