幾類(lèi)安全協(xié)議的研究與設(shè)計(jì).pdf

1、隨著網(wǎng)絡(luò)應(yīng)用的迅速發(fā)展，網(wǎng)絡(luò)安全問(wèn)題日益重要。安全協(xié)議是構(gòu)建網(wǎng)絡(luò)安全環(huán)境的基石，是網(wǎng)絡(luò)安全通信系統(tǒng)的核心技術(shù)，它的正確性和安全性對(duì)整個(gè)網(wǎng)絡(luò)環(huán)境的安全起著至關(guān)重要的作用。安全協(xié)議的設(shè)計(jì)和分析已經(jīng)成為近年來(lái)國(guó)際上在網(wǎng)絡(luò)安全和信息安全領(lǐng)域最活躍的研究方向之一。
　　 由于時(shí)間和篇幅有限，本文主要對(duì)基于口令的安全協(xié)議、電子支付協(xié)議和射頻識(shí)別(RFID)系統(tǒng)安全協(xié)議這三類(lèi)有代表性的新型安全協(xié)議進(jìn)行了研究，主要包括下列內(nèi)容：
　　

2、1.基于串空間模型，對(duì)攻擊者串進(jìn)行了擴(kuò)展，以便分析安全協(xié)議中的口令猜測(cè)攻擊。為了抵御口令猜測(cè)攻擊，在一個(gè)兩方基于口令的安全協(xié)議中引人一類(lèi)散列函數(shù)，對(duì)修改后的協(xié)議進(jìn)行了形式化分析，證明能夠有效抵御猜測(cè)攻擊。
　　 2.在通用可組合模型下，定義了一個(gè)三方口令認(rèn)證密鑰交換理想函數(shù)，然后在兩方口令認(rèn)證密鑰交換理想函數(shù)輔助的混合模型下，構(gòu)造了一個(gè)實(shí)現(xiàn)該理想函數(shù)的三方口令認(rèn)證密鑰交換協(xié)議。設(shè)計(jì)的協(xié)議不僅是通用可組合安全的，并且結(jié)構(gòu)簡(jiǎn)單。

3、r>　　 3.公平性是電子支付協(xié)議的一個(gè)基本屬性?；谕ㄓ每山M合模型，定義了公平電子支付理想函數(shù)。在可轉(zhuǎn)化簽名理想函數(shù)、注冊(cè)理想函數(shù)和安全會(huì)話(huà)理想函數(shù)輔助的混合模型下，構(gòu)造了一個(gè)實(shí)現(xiàn)公平電子支付理想函數(shù)的公平電子支付協(xié)議。新的協(xié)議結(jié)構(gòu)簡(jiǎn)單，通信量較低。
　　 4.針對(duì)RFID系統(tǒng)的特殊需求，在通用可組合模型下，設(shè)計(jì)了一個(gè)低成本的RFID匿名認(rèn)證協(xié)議，該協(xié)議的實(shí)現(xiàn)對(duì)于一般的RFID結(jié)構(gòu)是切實(shí)可行的。通過(guò)對(duì)近年來(lái)提出的符合EPCG

4、en2標(biāo)準(zhǔn)的RFID協(xié)議的安全性分析，提出了符合EPCGen2標(biāo)準(zhǔn)的RFID認(rèn)證協(xié)議的設(shè)計(jì)原則，并設(shè)計(jì)了一個(gè)新的符合EPCGen2標(biāo)準(zhǔn)的RFID認(rèn)證協(xié)議。對(duì)RFID搜索協(xié)議的安全需求進(jìn)行了分析，設(shè)計(jì)了一個(gè)不需要后端數(shù)據(jù)庫(kù)參與的低成本RFID搜索協(xié)議。分析了供應(yīng)鏈環(huán)境下RFID通信協(xié)議應(yīng)該滿(mǎn)足的安全需求，提出了一個(gè)基于偽隨機(jī)函數(shù)原語(yǔ)實(shí)現(xiàn)的供應(yīng)鏈環(huán)境下安全的RFID通信協(xié)議，該協(xié)議具有較高的效率，標(biāo)簽端的計(jì)算負(fù)荷和存儲(chǔ)成本較低。