Two Rounds RFID Grouping-Proof Protocol

Sarah Abu Ghazalah, Konstantinos Markantonakis

Research output: Contribution to conferencePaperpeer-review

162 Downloads (Pure)

Abstract

In this paper, we focus on a particular RFID application called a grouping-proof, where an entity such as an RFID reader generates a proof that two or more tags have been scanned simultaneously. This proof is then verified by the server, which processes the tags' data in the system. However, designing a grouping-proof protocol is challenging for two reasons. Firstly, in some cases, the server that authenticates the tags is offline during the scanning process, thus the tags' data need to be assembled in a valid grouping-proof to be authenticated later. Secondly, a number of recent grouping-proof protocols are either prone to attacks, or they are not efficient in terms of performance. In this paper, we present an offline two rounds grouping-proof protocol that provides immunity against well-known attacks on RFID protocols and improves tag's memory and computing performance. We analysed our protocol using a mechanical formal analysis tool called Scyther, which did not find any feasible attack(s). Finally, an implementation of the proposed protocol is conducted to measure the tag's memory space and computing time cost using an IAIK UHF RFID tag emulator.
Original languageEnglish
Pages193-203
Number of pages11
DOIs
Publication statusPublished - 3 May 2016
EventThe 2016 IEEE International Conference on RFID - Orange County Convention Center, Orlando, United States
Duration: 3 May 20165 May 2016

Conference

ConferenceThe 2016 IEEE International Conference on RFID
Country/TerritoryUnited States
CityOrlando
Period3/05/165/05/16

Keywords

  • RFID, Secuty, Privacy, Scyther, Grouping-proof, Protocol

Cite this