RFID群組認(rèn)證協(xié)議的設(shè)計(jì)與分析.pdf

1、RFID群組認(rèn)證協(xié)議的設(shè)計(jì)與分析群組認(rèn)證協(xié)議的設(shè)計(jì)與分析TheDesignAnalysisofRFIDGroupAuthenticationProtocol工程領(lǐng)域：計(jì)算機(jī)技術(shù)作者姓名：朱澤光指導(dǎo)教師：孫達(dá)志副教授企業(yè)導(dǎo)師：陳列偉正高工天津大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院二零一六年十二月I中文中文摘要摘要到目前為止，關(guān)于RFID（射頻識(shí)別）群組認(rèn)證協(xié)議的研究還處于摸索階段。雖然已有不少RFID群組認(rèn)證協(xié)議被提出，但很多已有協(xié)議存在一些安全漏洞和

2、隱私問(wèn)題亟待解決，另外大都缺乏嚴(yán)格的形式化分析和證明。據(jù)此提出了RFID群組認(rèn)證安全模型，并在此基礎(chǔ)上設(shè)計(jì)了一種安全高效的RFID群組認(rèn)證協(xié)議。首先從攻擊者的角度分析了已有相關(guān)協(xié)議所存在的安全漏洞和隱私問(wèn)題，例如常見(jiàn)的重放攻擊、交錯(cuò)攻擊和隱私泄露。通過(guò)使用形式化方法將概念或方法經(jīng)過(guò)高度抽象后使用模型進(jìn)行表述，提出了RFID群組認(rèn)證安全模型，并根據(jù)具體的協(xié)議對(duì)安全模型進(jìn)行了驗(yàn)證。參考RFID群組認(rèn)證安全模型，提出了改進(jìn)的RFID群組認(rèn)證協(xié)

3、議，并利用分組的思想提出了該協(xié)議的加速方案。隨后，借助安全模型對(duì)提出的RFID群組認(rèn)證協(xié)議進(jìn)行了形式化分析和安全證明，并分析了該協(xié)議保護(hù)隱私的能力。提出的RFID群組認(rèn)證安全模型可幫助進(jìn)行相關(guān)協(xié)議的形式化分析和證明，對(duì)于RFID群組認(rèn)證安全協(xié)議的研究具有一定的參考意義。另外，提出的RFID群組認(rèn)證協(xié)議可以抵抗常見(jiàn)攻擊，并具有匿名性和不可追蹤性等隱私屬性，與其他幾種相關(guān)協(xié)議相比具有更強(qiáng)的安全性和更好的隱私保護(hù)能力。此外，提出的RFID群組