^{<sub id="mahxn"></sub>}

可證明安全的RFID通信安全協議

文檔作者：蔡慶玲1，詹宜巨1，劉洋2 文檔來源： 1．中山大學工學院廣州 2．中山大學信息科學與技術學院		點擊數：	更新時間： 2023年07月22日
下載地址：點擊這里	文件大小： 288.75 KB 共5頁	文檔格式： PDF	下載點數： 1 點（VIP免費）

全屏查看

內容預覽 [文件共5頁]

本文件共5頁，如需編輯使用，請下載。

注：預覽效果可能會出現部分文字亂碼（如口口口）、內容顯示不全等問題，下載是正常的。

	文件大小：288.75 KB 共5頁文件格式：PDF 下載點數：1 點（VIP會員免費）

下一篇：網站系統信息安全設計與實現

上一篇：安全通信與安全通信標準EN50159

文本預覽

僅提取頁面文字內容，供快速閱讀使用。

研究與開發
可證明安全的RFID通信安全協議乖
蔡慶玲1，詹宜巨1，劉洋2
(1．中山大學工學院廣州510275；2．中山大學信．g-科學與技術學院廣州510275)
_圜通過對RFID系統特殊安全問題的系統研究，從可證明安全論證的角度出發，本文提出了一尊可證明安全的肼D通信安全協議—rPAP。在隨機預言模型下，使用形式化描述方式，系璣地h建業了
RFID通信安全模型，并在該模型下，形式化地論證了rPAP協議的安全性。該協議適用于一般的
RFID系統。
i莢鍵弱RFID；可證明安全；隧機瑗育模登；晗希函巍#’。一7’ ’。’’’’
”
a
1 引言
隨著射頻識別(radio frequency identitication，RFID)技
術的廣泛應用。RFID系統的安全問題也日益突出，特別是
安全與隱私保護問題已嚴重阻礙了RFID技術的進一步
發展。成為RFID技術發展急待解決的關鍵問題之一，已
吸引了業界眾多信息安全學者的關注和投入，并已提出了
眾多的解決方案。近期提出解決方案如：IBM公司的“夾子
標簽”技術、Noisy Tags法【1吸Distance Bounding法[21等新的
解決方案。IBM公司的“夾子標簽”技術不適用于需要信息
重復讀取的物流領域等。Noisy Tags法需要增加額外的標
簽。而且存在安全漏洞無法抵抗重放攻擊等。Distance
Bounding法增加了標簽的認證時間，難以快速響應海量標
簽的識別。Tsudik提出了YA．YRAP協議13l，由于時間戳的
使用．雖然有效地降低了復雜性，但致使標簽極易遭受拒
·廣東省基金資助項目(No．9151027501000076)
絕服務的攻擊。而導致標簽的長久失效。Molnar等提出了基
于散列樹的認證方案}q，該方案的每個標簽的計算量是標簽
數量的對數且為變量。此外，如果一個標簽被攻陷，整個散列樹
中其他標簽的匿名性也會遭到破壞吼。參考文獻【6】提出基于
Hash函數和二次剩余假設的安全通信協議，協議具有較
強的安全與隱私保護性。但服務器需要求解兩個二次同余
方程和多達8次的Hash運算。參考文獻f7偎出了基于密
鑰陣列的認證協議．由于使用密鑰陣列，因而需占用較多
的存儲空間及運算時間。參考文獻【8】提出了RFID系統可
擴展安全認證協議，由于每次認證ID值都會發生變化，易
受DoS攻擊．一旦攻擊成功將會導致標簽的長久失效。
基于上述原因．本文提出了一種可證明安全的RFID
通信安全協議——．rPAP(provably secure authentication
protocol for RFID)。從形式化論證的角度出發．通過對R兀D
系統特殊安全問題的研究，基于隨機預言模型Mq，提出了
RnD系統的通信模型、攻擊模型及其通信安全協議安全目
標模型的形式化描述，建立了RnD通信的安全模型，并在

網友評論 more

電力安全論文最新內容

05-01