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

A Provably Secure RFID Protocol Based on Static ID Mechanism

作　　者：熊飞[1] 陈芳[1] 周鸿喜[1] 吕俊峰[1] 党育军[1] 谷勇浩[2] 于华东 徐长福 路永玲 王鹏[5] XIONG Fei;CHEN Fang;ZHOU Hong-xi;LV Jun-feng;DANG Yu-jun;GU Yong-hao;YU Hua-dong;XU Chang-fu;LU Yong-ling;WANG Peng(State Grid Information & Telecommunication Branch Company, Beijing 100761, China;Beijing Key Laboratory of Intelligent Telecommunication Software and Multimedia, School of Computer Science, Beijing University of Posts and Telecommunications, Beijing 100876, China;R&D Center of State Grid Information & Telecommunication Group Co., LTD., Beijing 102211, China;Jiangsu Electric Power Company Research Institute, Nanjing City 211103, China;Institute of computing technology, Chinese Academy of Sciences, Beijing 100080, China)

机构地区：[1]国家电网公司信息通信分公司,北京100761 [2]北京邮电大学计算机学院智能通信软件与多媒体北京市重点实验室,北京100876 [3]国网信息通信产业集团有限公司研发中心,北京102211 [4]国网江苏省电力公司电力科学研究院,南京211103 [5]中国科学院计算技术研究所,北京100080

出　　处：《软件》2017年第3期1-5,共5页Software

基　　金：国网科技项目(SGTYHT/15-JS-191);国家自然科学基金资助项目(61173017);工信部通信软科学基金资助项目(2014-R-42;2015-R-29);信息网络安全公安部重点实验室开放课题基金资助项目(C14613);面向传输网络及业务网络的智能综合网络管理技术项目支持

摘　　要：电力物联网中部分电力设备可采用RFID方式接入,RFID需要设计一个满足高效、安全、低成本要求的RFID安全协议。论文在对现有RFID安全技术分析的基础上,提出一种基于静态ID机制可证明安全的RFID协议,以解决现有静态安全协议的不足,同时对所提协议与现有协议在安全性方面做了对比,并对所提协议进行了GNY形式化分析和证明。Radio Frequency Identification (RFID) can be used to access into Internet of things in power systems,which it needs a security protocol to meet the requirements of high efficiency, security and low cost. In this paper, a provably secure RFID protocol based on static ID mechanism is proposed in order to solve the existing problem.Compared with the existing schemes, the proposed scheme is provably secure which is based on GNY analysis and proof.

关 键 词：电力物联网 RFID 空口通信 安全协议 GNY逻辑分析 

分 类 号：TN914.33[电子电信—通信与信息系统]