基于無后端數(shù)據(jù)庫的RFID系統(tǒng)安全認證協(xié)議研究.pdf

1、無線射頻識別技術(shù)(Radio Frequency Identification. RFID)是一種通過無線射頻方式進行通信的非接觸式的自動識別技術(shù)。它具有環(huán)境適應(yīng)能力強、精度高、操作簡單方便、抗干擾能力強等很多優(yōu)點，被廣泛應(yīng)用于工業(yè)自動化、商業(yè)自動化、交通運輸控制管理等眾多領(lǐng)域。但是由于其受到成本的制約，標簽容量和計算能力有限，很多已有的安全機制難以實施，RFID系統(tǒng)的安全和隱私受到了嚴重的威脅。這也成為制約RFID技術(shù)發(fā)展的重要因素。

2、因此設(shè)計出能有效保護RFID安全和隱私的安全機制成為了RFID領(lǐng)域的研究熱點。
　　本文首先介紹了RFID系統(tǒng)的組成、分類、工作原理以及技術(shù)優(yōu)勢，然后詳細闡述了RFID系統(tǒng)在通信中所面臨的安全和隱私問題，并分類綜述了代表性的安全防范措施。針對使用后端數(shù)據(jù)庫模式的無線射頻識別(RFID)安全協(xié)議的弊端，基于已有的無后端數(shù)據(jù)庫安全協(xié)議，本文提出了一個改進的無后端數(shù)據(jù)庫的RFID安全認證協(xié)議——NSAP。通過非形式化的安全性分析和BAN

3、邏輯證明以及效率比較，證明該協(xié)議不僅實現(xiàn)了真正的雙向認證和標簽?zāi)涿?，而且使標簽端只需進行一次哈希運算，大大提高了系統(tǒng)的效率和可行性。因此該協(xié)議與已有的無后端數(shù)據(jù)庫安全協(xié)議相比，更安全，更高效。
　　由于非形式化分析和BAN邏輯證明存在無法探測對協(xié)議的攻擊等缺陷，本文最后通過形式化分析方法中的符號化模型檢測方法（NuSMV）對NSAP建模，對NSAP的完整性，保密性，認證性進行驗證，并與常規(guī)Hash協(xié)議進行了對比實驗。結(jié)果證明NSA