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
摘要: 针对RFID的安全问题,提出一种基于离散ID序列的RFID标签认证协议——DSTAP,在此基础上,将DSTAP协议与其他认证协议进行比较分析,采用BAN逻辑对所提出的协议进行形式化分析。分析结果表明,DSTAP协议达到指定的安全设计要求,同时可减少计算量。
关键词:
无线射频识别技术,
认证,
逻辑运算,
形式化分析
CLC Number:
LIU Zhi-liang; XUE Xiao-ping; WANG Xiao-ping. Tag Authentication Protocol for RFID Based on Discrete Sequence of ID[J]. Computer Engineering, 2009, 35(2): 159-161.
刘志亮;薛小平;王小平. 基于离散ID序列的RFID标签认证协议[J]. 计算机工程, 2009, 35(2): 159-161.