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）系统开发了一种基于属性的安全搜索协议。该协议可用于同时标识共享一组属性值的项目组。据我们所知，这是首次此类工作，有可能显着增强库存控制和供应链管理中支持RFID的应用程序的安全性和智能性。该协议被设计为轻量级的，适用于资源受限的基本无源标签，并符合电子产品代码（EPC）标准。这是通过利用二次残差的零知识特性来实现的。该协议提供的安全性和隐私属性已通过正式验证得到严格证明。