低成本RFID协议的设计及BAN形式化分析

• 作者: 马巧梅
• 来源期刊: 宝鸡文理学院学报（自然科学版）
• 学科: 工学
• 关键词: RFID系统 协议 形式化分析 BAN逻辑
• 年，卷（期）: 2016,（1）
• 页码范围: 60-62,72
• 页数: 4页
• 分类号: TP391.44
• 字数: 2010字
• 语种: 中文
• DOI: 10.13467/j.cnki.jbuns.2016.01.003

摘要

目的 通过分析现有的典型RFID认证协议的效率与成本,针对数字化图书馆RFID认证协议的高成本问题,提出一个低成本的RFID认证协议.方法 通过去掉标签中的随机数模块,然后利用阅读器存储能力强、存储随机数模块来确保发出消息的新鲜性.结果 该低成本RFID认证协议仅使用一对提前预约好的密钥对,降低了标签的硬件成本和计算能力.结论 通过BAN形式化分析,该协议达到了预期的安全协议的认证目标,非常适合于低成本的RFID系统.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马巧梅	宝鸡文理学院计算机学院	29	88	5.0	7.0