低成本RFID搜索协议的设计与安全性证明  

Design and security proof for low-cost RFID search protocols

作　　者：周清雷[1] 周静[1] 

机构地区：[1]郑州大学信息工程学院,河南郑州450001

出　　处：《计算机工程与设计》2013年第2期447-451,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(60902102)

摘　　要：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.

关 键 词：无线射频识别搜索协议 标签成本 安全性 伪随机函数 搜索标志位 通用可组合 

分 类 号：TN915.04[电子电信—通信与信息系统]