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

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

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

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

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