摘要
在分析现有一些RFID认证协议的基础上,提出了一种新的适合低成本标签的双向认证协议,并对其进行了SMV模型检测形式化证明和性能分析。结果表明该认证协议具有认证性、保密性和完整性,能够满足低成本标签的安全需求,并且在安全性能提高的同时仍具有较好的执行性能。
Based on the analysis of some existing RFID authentication protocols, this paper proposed a new mutual authentication protocol for low-cost tags, and did the formal proof using SMV model checking and performance analysis of this protocol. The results show that the authentication protocol satisfies the requirements of authentication, confidentiality and integrity, and can meet the security needs of low-cost tags, in addition, the scheme also has a good performance.
出处
《计算机应用研究》
CSCD
北大核心
2010年第5期1885-1888,共4页
Application Research of Computers
关键词
低成本标签
射频识别
安全协议
认证
SMV模型检测
low-cost tags
RFID(radio frequency identification)
security protocol
authentication
SMV model checking