Secure attribute-based search in RFID-based inventory control systems

作者:

Highlights:

• We develop a secure attribute-based search protocol for RFID systems.

• The protocol simultaneously identifies groups of items that share a set of attribute values.

• The lightweight protocol complies with EPC standards.

• The protocol exploits zero knowledge properties of quadratic residues.

摘要

We develop a secure attribute-based search protocol for Radio Frequency Identification (RFID) systems. This protocol can be used to simultaneously identify groups of items that share a set of attribute values. To the best of our knowledge, this is the first such work with the potential to significantly enhance the security and intelligence of RFID-enabled applications in inventory control and supply chain management. The protocol is designed to be lightweight, suited for resource-constrained basic passive tags, and compliant with the Electronic Product Code (EPC) standards. This is achieved by exploiting the zero knowledge properties of quadratic residues. The security and privacy properties offered by the protocol are rigorously proven through formal verification.

论文关键词:RFID secure search,Attribute-based search,EPC C1G2 passive tags,Security protocols,Formal verification

论文评审过程:Received 20 September 2019, Revised 26 December 2019, Accepted 16 February 2020, Available online 21 February 2020, Version of Record 29 March 2020.

论文官网地址:https://doi.org/10.1016/j.dss.2020.113270