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

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

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

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