一种基于静态ID机制可证明安全的RFID协议

• 作者: 于华东 党育军 吕俊峰 周鸿喜 徐长福 熊飞 王鹏 谷勇浩 路永玲 陈芳
• 来源期刊: 软件
• 学科: 工学
• 关键词: 电力物联网 RFID 空口通信 安全协议 GNY逻辑分析
• 年，卷（期）: 2017,（3）
• 所属期刊栏目: 基金项目论文
• 页码范围: 1-5
• 页数: 5页
• 分类号: TN914.33
• 字数: 2881字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6970.2017.03.001

摘要

电力物联网中部分电力设备可采用RFID方式接入,RFID需要设计一个满足高效、安全、低成本要求的RFID安全协议.论文在对现有RFID安全技术分析的基础上,提出一种基于静态ID机制可证明安全的RFID协议,以解决现有静态安全协议的不足,同时对所提协议与现有协议在安全性方面做了对比,并对所提协议进行了GNY形式化分析和证明.