北京邮电大学学报

  • EI核心期刊

北京邮电大学学报 ›› 2010, Vol. 33 ›› Issue (2): 44-47.doi: 10.13190/jbupt.201002.44.269

• 论文 • 上一篇    下一篇

RFID标签的不可追踪性

邓淼磊 1,2 朱 昭 3, 石金娥 2, 周利华 1   

  1. (1西安电子科技大学计算机学院, 西安 710071; 2解放军信息工程大学理学院, 郑州 450001;3河南工业职业技术学院电子工程系, 河南南阳 473009)
  • 收稿日期:2009-05-23 修回日期:2009-10-19 出版日期:2010-04-28 发布日期:2010-04-28
  • 通讯作者: 邓淼磊
  • 作者简介:邓淼磊(1977—), 男, 博士生, Email: dmlei2003@163.com; 周利华(1942—), 男, 教授, 博士生导师.
  • 基金资助:

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

Untraceability of RFID Tags

DENG Miao-lei 1,2, ZHU Zhao 3, SHI Jine 2, ZHOU Li-hua 1   

  1. (1School of Computer, Xidian University, Xian 710071, China; 2Institute of Science, Peoples Laberation Army Information Engineering University, Zhengzhou 450001, China;3Department of Electronic Engineering, Henan Polytechnic Institute, Nanyang, Henan 473009, China)
  • Received:2009-05-23 Revised:2009-10-19 Online:2010-04-28 Published:2010-04-28
  • Contact: Miao-Lei Deng

摘要:

为了形式化分析无线射频识别(RFID)协议中标签的不可追踪性,对串空间模型进行了扩展,引入了分析标签不可追踪性的能力,并给出了不可追踪性的判定定理. 基于扩展的串空间模型,对Feldhofer协议和O′FRAP协议进行了分析. 结果表明,Feldhofer协议能实现不可追踪性,O′FRAP协议对于主动攻击者不能实现不可追踪性.

关键词: 无线射频识别, 标签, 不可追踪性, 串空间, 协议

Abstract:

For formally analyzing untraceability of tags in radio frequency identification protocols, the strand space model is extended so that it can be applied to analyze untraceability. The theorems about untraceability are also given. Based on the extended strand space model, Feldhofer protocol and O′FRAP protocol are analyzed. It shows that Feldhofer protocol is untraceable. On the contrary, O′FRAP protocol is traceability for active attackers.

Key words: radio frequency identification, tag, untraceability, strand space, protocol