RFID系統(tǒng)中可證安全的通信協(xié)議.pdf

1、RFID技術(shù)作為實(shí)現(xiàn)物聯(lián)網(wǎng)的關(guān)鍵技術(shù)之一，是一種通過無線射頻信號(hào)自動(dòng)識(shí)別標(biāo)簽對(duì)象的識(shí)別技術(shù)。一般認(rèn)為，RFID系統(tǒng)有閱讀器、EPC標(biāo)簽、后臺(tái)服務(wù)器組成，閱讀器和后臺(tái)服務(wù)器之間通過有線通信技術(shù)相連接，閱讀器和EPC標(biāo)簽之間通過電磁感應(yīng)無線通信技術(shù)相連接。由于無線信道是開放的，數(shù)據(jù)信息在傳輸過程中容易受到攻擊干擾，使得系統(tǒng)容易面臨跟蹤、重傳等外部攻擊；另一方面，EPC標(biāo)簽設(shè)計(jì)成本的限制也使系統(tǒng)容易面臨篡改、偽造等內(nèi)部攻擊。這無疑對(duì)信息安全造

2、成了巨大威脅，因此，解決好RFID系統(tǒng)中的隱私安全問題是實(shí)現(xiàn)物聯(lián)網(wǎng)系統(tǒng)安全的必要條件。
　　 實(shí)現(xiàn)RFID系統(tǒng)安全的方法主要有物理方法和密碼方法，由于物理方法的適用范圍比較有限，基于密碼技術(shù)的安全方法是當(dāng)今研究的重點(diǎn)，即利用各種成熟的密碼方案和邏輯運(yùn)算設(shè)計(jì)密碼安全協(xié)議。可證明安全性理論又是近年來安全協(xié)議研究領(lǐng)域的一個(gè)重要研究方向，是把安全協(xié)議規(guī)約為一些數(shù)學(xué)難題的求解。然而卻很少有人使用可證明安全性理論分析RFID安全協(xié)議的安全性

3、。
　　 針對(duì)運(yùn)用可證明安全性理論來分析RFID安全協(xié)議安全性的思想，本文提出了一種基于密碼技術(shù)的可證安全的通信協(xié)議PSCP，協(xié)議的執(zhí)行過程分為認(rèn)證階段、密鑰更新階段和所有權(quán)轉(zhuǎn)移三個(gè)階段，并運(yùn)用可證明安全性理論的隨機(jī)預(yù)言模型對(duì)PSCP的安全性進(jìn)行了詳細(xì)的分析和證明。分析表明PSCP不僅能夠很好地解決偽造攻擊、重傳攻擊、跟蹤攻擊等常見的RFID安全問題，還能夠解決物聯(lián)網(wǎng)RFID系統(tǒng)中面臨的內(nèi)部攻擊和標(biāo)簽所有權(quán)轉(zhuǎn)移等問題。最后，通過