摘要
针对RFID的安全问题,提出一种基于离散ID序列的RFID标签认证协议——DSTAP,在此基础上,将DSTAP协议与其他认证协议进行比较分析,采用BAN逻辑对所提出的协议进行形式化分析。分析结果表明,DSTAP协议达到指定的安全设计要求,同时可减少计算量。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第2期159-161,共3页
Computer Engineering
关键词
无线射频识别技术
认证
逻辑运算
形式化分析
Radio Frequency Identification(RFID)
authentication
logical operation
formal analysis