基于Hash函数的鉴别协议及其BAN逻辑分析

摘要：

随着RFID技术的广泛应用,安全问题变得日益严重.本文在现有RFID安全认证协议的基础上,有效结合双向认证、密钥加密算法和哈希函数提出的鉴别协议,在读写器和有源RFID标签中加入了安全的机制，较好地解决了军用RFID的安全隐患问题.本文对该协议抵抗各种类型的攻击进行了定性分析，并对该协议的认证功能进行了BAN逻辑的形式化分析。结果表明，该协议能够对读写器和标签的合法身份进行有效的双向认证、能够有效抵御重放攻击、中间人攻击、消息篡改以及流量分析和跟踪攻击。该方法安全、易于实现，能够有效解决RFID系统的安全问题。

关键词： 安全通信协议 哈希函数 BAN逻辑 射频识别

作者: 刘丹 周明 袁小霞

作者单位: 电子科技大学电子科学技术研究院 成都611731

会议类型: 国内会议

会议名称: 综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技术研究中心2012学术年会

会议地点: 成都

会议语种:中文

页码: 584-589

在线出版日期: 2012-12-22（万方平台首次上网日期，不代表论文的发表时间）