摘要
安全问题是射频识别技术领域的重要问题,轻量级安全协议成为该技术领域研究的主流。针对轻量级相互认证协议易受克隆攻击、去同步攻击等安全隐患问题,在对原有协议分析的基础上提出了系列改进措施,即通过对原有协议增加时间戳机制、物理不可克隆函数(physical unclonable function,PUF)电路以及改进密钥的生成方式来提高协议的安全性,并利用BAN逻辑对改进协议的安全性进行形式化证明。从安全性、计算量和存储量等方面将改进协议与其他协议进行比较,结果表明,协议安全性高,计算量小,也适合标签的存储量,在射频识别领域安全方面具有一定的应用价值。
Security is an important issue in the field of radio frequency identification,and the research on lightweight security protocol has become the mainstream of this field.Since the lightweight mutual authentication protocol is vulnerable to clone attack,de-synchronization attack or other security problems,this paper proposes a series of improvement measures based on the analysis of original protocol,such as adding the timestamp mechanism,physical unclonable function(PUF)circuit and improving the way of generating the key to improve the security of the lightweight mutual authentication protocol.Then the security of the improved protocol is verified by the BAN logic.Finally the improved protocol is compared with other protocols in terms of security,computation and storage.The results show that the protocol has high security,less calculation,and is suitable for the storage of tags.It has certain application value in the field of radio frequency identification.
出处
《重庆邮电大学学报（自然科学版）》
CSCD
北大核心
2017年第6期814-821,共8页
Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition)
基金
国家自然科学基金资助项目(61273302)~~
关键词
射频识别
协议改进
时间戳机制
PUF电路
BAN逻辑
radio frequency identification
protocol improvement
timestamp mechanism
PUF circuit
BAN logic
