低成本rfid搜索协议的设计与安全性证明 design and security proof for low-cost rfid search protocols.pdfVIP

2013年2月 计算机工程与设计 Feb．2013 第34卷第2期 COMPUTERENGINEERINGANDDESIGN V01．34No．2 低成本RFID搜索协议的设计与安全性证明 周清雷，周静+ (郑州大学信息工程学院，河南郑州450001) 摘要：RFID(无线射频识别)搜索协议作为RFID领域的一种新兴协议存在着标签成本高以及易遭受攻击等问题。针对 于此，着重从降低标签成本和提高安全性角度，通过在协议的整个过程中完全采用伪随机函数、引用秘密信息更新机制和 增加搜索标志位机制的方法，设计了一个所需标签成本较低的RFID搜索协议，并在通用可组合(UC)模型下对其安全性 进行了形式化证明，指出该协议是UC安全的，实现了机密性、匿名性、不可追踪性、防窃听、防重放、并发安全等安 全特性。 关键词：无线射频识别搜索协议；标签成本；安全性；伪随机函数；搜索标志位；通用可组合 中图法分类号：TN915．04文献标识号：A 文章编号：1000—7024(2013)02—0447—05