一種基于靜態(tài)ID機制可證明安全的RFID協(xié)議

熊 飛，陳 芳，周鴻喜，呂俊峰，黨育軍，谷勇浩，于華東，徐長福，路永玲，王 鵬

（1.國家電網(wǎng)公司信息通信分公司，北京 100761；2.北京郵電大學(xué) 計算機學(xué)院 智能通信軟件與多媒體北京市重點實驗室，北京 100876；3.國網(wǎng)信息通信產(chǎn)業(yè)集團(tuán)有限公司研發(fā)中心，北京 102211；4.國網(wǎng)江蘇省電力公司電力科學(xué)研究院，南京 211103；5.中國科學(xué)院計算技術(shù)研究所，北京 100080）

一種基于靜態(tài)ID機制可證明安全的RFID協(xié)議

熊 飛1，陳 芳1，周鴻喜1，呂俊峰1，黨育軍1，谷勇浩2，于華東3，徐長福4，路永玲4，王 鵬5

（1.國家電網(wǎng)公司信息通信分公司，北京 100761；2.北京郵電大學(xué) 計算機學(xué)院 智能通信軟件與多媒體北京市重點實驗室，北京 100876；3.國網(wǎng)信息通信產(chǎn)業(yè)集團(tuán)有限公司研發(fā)中心，北京 102211；4.國網(wǎng)江蘇省電力公司電力科學(xué)研究院，南京 211103；5.中國科學(xué)院計算技術(shù)研究所，北京 100080）

電力物聯(lián)網(wǎng)中部分電力設(shè)備可采用 RFID方式接入，RFID需要設(shè)計一個滿足高效、安全、低成本要求的RFID安全協(xié)議。論文在對現(xiàn)有RFID安全技術(shù)分析的基礎(chǔ)上，提出一種基于靜態(tài)ID機制可證明安全的RFID協(xié)議,以解決現(xiàn)有靜態(tài)安全協(xié)議的不足，同時對所提協(xié)議與現(xiàn)有協(xié)議在安全性方面做了對比，并對所提協(xié)議進(jìn)行了GNY形式化分析和證明。

電力物聯(lián)網(wǎng)；RFID；空口通信；安全協(xié)議；GNY邏輯分析

0 引言

目前基于 RFID的變電站巡檢系統(tǒng)作為一種先進(jìn)的技術(shù)手段，已經(jīng)成功應(yīng)用于特高壓站點。其系統(tǒng)通過內(nèi)置GPRS及LTE230模塊回傳數(shù)據(jù)，可以將記錄有電力設(shè)備的運行狀態(tài)、缺陷信息回傳于接收控制系統(tǒng)，但是空口傳輸?shù)耐该餍浴?br>