作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (2): 159-161. doi: 10.3969/j.issn.1000-3428.2009.02.056

• 安全技术 • 上一篇    下一篇

基于离散ID序列的RFID标签认证协议

刘志亮1,薛小平1,2,王小平1   

  1. (1. 同济大学电子与信息工程学院,上海 200092;2. 北京交通大学电子信息工程学院,北京 100044)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-01-20 发布日期:2009-01-20

Tag Authentication Protocol for RFID Based on Discrete Sequence of ID

LIU Zhi-liang1, XUE Xiao-ping1,2, WANG Xiao-ping1   

  1. (1. College of Electronics and Information Engineering, Tongji University, Shanghai 200092; 2. School of Electronics and Information Engineering, Beijing Jiaotong University, Beijing 100044)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-01-20 Published:2009-01-20

摘要: 针对RFID的安全问题,提出一种基于离散ID序列的RFID标签认证协议——DSTAP,在此基础上,将DSTAP协议与其他认证协议进行比较分析,采用BAN逻辑对所提出的协议进行形式化分析。分析结果表明,DSTAP协议达到指定的安全设计要求,同时可减少计算量。

关键词: 无线射频识别技术, 认证, 逻辑运算, 形式化分析

Abstract: Aiming at security and privacy of Radio Frequency Identification(RFID), a discrete sequence of tag ID-based authentication protocol for RFID-DSTAP is proposed. This paper uses it to compare with other authentication protocols and analyzes it with BAN logic. Result of analysis shows that DSTAP meets the specified safety design requirements and the calculation is greatly reduced.

Key words: Radio Frequency Identification(RFID), authentication, logical operation, formal analysis

中图分类号: