Paper 2007/407

Provably Secure Grouping-proofs for RFID tags

Mike Burmester, Breno de Medeiros, and Rossana Motta

Abstract

We investigate an application of RFIDs referred to in the literature as group scanning, in which several tags are "simultaneously" scanned by a reader device. Our goal is to study the group scanning problem in strong adversarial models. We present a security model for this application and give a formal description of the attending security requirements, focusing on the privacy (anonymity) of the grouped tags, and/ or forward-security properties. Our model is based on the Universal Composability framework and supports re usability (through modularity of security guarantees). We introduce novel protocols that realize the security models, focusing on efficient solutions based on off-the-shelf components, such as highly optimized pseudo-random function designs that require fewer than 2000 Gate-Equivalents.

Note: Withdrawal: two protocols in this paper are flawed. A revised version with a new co-author

Metadata
Available format(s)
-- withdrawn --
Category
Cryptographic protocols
Publication info
Published elsewhere. CARDIS 2008, LNCS #5185, Springer, pp. 176-190, extendede abstract
Keywords
RFIDyoking proofsprovably secure protocolsprivacyforward secrecy
Contact author(s)
burmester @ cs fsu edu
History
2010-05-12: withdrawn
2007-10-26: received
See all versions
Short URL
https://ia.cr/2007/407
License
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.