RFID(无线射频识别)搜索协议作为RFID领域的一种新兴协议存在着标签成本高以及易遭受攻击等问题。针对于此,着重从降低标签成本和提高安全性角度,通过在协议的整个过程中完全采用伪随机函数、引用秘密信息更新机制和增加搜索标志位机制的方法,设计了一个所需标签成本较低的RFID搜索协议,并在通用可组合(UC)模型下对其安全性进行了形式化证明,指出该协议是UC安全的,实现了机密性、匿名性、不可追踪性、防窃听、防重放、并发安全等安全特性。
RFID (Radio Frequency Identification) search protocol as a new kind of protocol in the field of RFID exists the pro blems of high cost and easily being attacked for tags. According to this, a new kind of lowcost search protocol is proposed by in troducing pseudorandom function in the whole protocol , adopting secret informationupdating scheme and adding searchstamp scheme from the point of lowering tags' cost and improving security, and its security is proved through the formal method under UC (UniversallyComposable) model, which indicates that the new protocol meets UC security and satisfies confidentiality, ano nymity, untraceability, eavesdropresistance, replayresistance and concurrent security etc.