版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、投票是人們使用自己選舉權(quán)力來表達(dá)自己對某一問題的觀點(diǎn)的一種方式。隨著計算機(jī)技術(shù)和通信技術(shù)的不斷發(fā)展,人們利用計算機(jī)在任何地方通過網(wǎng)絡(luò)投票系統(tǒng)進(jìn)行投票成為現(xiàn)實。
網(wǎng)絡(luò)投票協(xié)議是實施網(wǎng)絡(luò)投票系統(tǒng)的基礎(chǔ)。安全實用的遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議應(yīng)該具有的安全屬性有秘密性、完全性、正確性、不可重用性、公平性、適任性、確定性、抗拒絕服務(wù)攻擊性、普遍驗證性、沒有收條、抗威脅性。形式化方法是分析與驗證安全協(xié)議的安全屬性的強(qiáng)有力的工具。按照分析方法,可
2、以分為手工分析和自動分析。前者依賴于專家的經(jīng)驗,不僅效率低、易出錯、難推廣,而且很難應(yīng)用于對復(fù)雜的協(xié)議進(jìn)行分析,如網(wǎng)絡(luò)投票協(xié)議。因此,安全協(xié)議的自動化分析與驗證成為了信息安全領(lǐng)域中的熱點(diǎn)研究課題。
本文以遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議作為研究對象,以基于定理證明的安全協(xié)議形式化分析與驗證技術(shù)為工具,對遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議安全屬性自動化證明技術(shù)進(jìn)行了深入研究。
本文的主要工作和貢獻(xiàn)如下:
1.對基于定理證明的一階定
3、理證明器ProVerif 進(jìn)行了深入研究。首先對ProVerif 輸入語言應(yīng)用PI 演算的項、進(jìn)程以及進(jìn)程間等價關(guān)系與Horn 子句進(jìn)行了深入研究,然后分析了ProVerif的系統(tǒng)結(jié)構(gòu)、基礎(chǔ)理論與其所能夠證明的安全屬性。
2.對遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議的抗拒絕服務(wù)攻擊性的自動化證明方法進(jìn)行了研究,提出一個基于定理證明的抗拒絕服務(wù)攻擊性自動化證明模型。首先從攻擊者上下文與進(jìn)程表達(dá)式兩個方面對標(biāo)準(zhǔn)應(yīng)用PI 演算進(jìn)行擴(kuò)展,然后從協(xié)議狀態(tài)
4、的角度,應(yīng)用擴(kuò)展后的應(yīng)用PI 演算對抗拒絕服務(wù)攻擊性進(jìn)行建模,提出了一個基于定理證明的支持一階定理證明器ProVerif的抗拒絕服務(wù)攻擊性自動化證明模型,最后分析了Acquisti協(xié)議和802.11四步握手協(xié)議的抗拒絕服務(wù)攻擊性。
3.研究遠(yuǎn)程網(wǎng)絡(luò)投票協(xié)議無收據(jù)性與抗威脅性的自動化證明方法,重點(diǎn)研究了支持正確性、無收據(jù)性與抗威脅性自動化驗證的Backes 模型,然后應(yīng)用Backes 模型,分析與驗證Acquisti協(xié)議和M
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于Pi演算的SOAP安全性分析與驗證.pdf
- 電氣自動化控制系統(tǒng)的應(yīng)用安全性探討
- 安全協(xié)議的可證明安全性研究.pdf
- 辦公自動化網(wǎng)絡(luò)的安全性問題
- 基于概率進(jìn)程演算的安全協(xié)議自動化分析技術(shù)研究.pdf
- 基于樹自動推理的安全協(xié)議自動化檢測.pdf
- 辦公自動化系統(tǒng)中的安全性研究.pdf
- 基于簽密的安全高效遠(yuǎn)程證明協(xié)議.pdf
- 基于Domino平臺的辦公自動化安全性的設(shè)計與實現(xiàn).pdf
- IKE安全密鑰交換協(xié)議的安全性定義及證明.pdf
- 具有可證明安全性的無線傳感器網(wǎng)絡(luò)路由協(xié)議研究.pdf
- 認(rèn)證密鑰交換協(xié)議可證明安全性的研究.pdf
- 基于進(jìn)程演算的安全協(xié)議形式化研究.pdf
- 網(wǎng)絡(luò)協(xié)議安全性分析中的邏輯化方法研究.pdf
- RDP遠(yuǎn)程桌面協(xié)議的安全性分析.pdf
- 綜合自動化系統(tǒng)通信網(wǎng)安全性評估.pdf
- 基于SAT的安全協(xié)議自動化檢測技術(shù)研究.pdf
- 基于模塊屬性的遠(yuǎn)程證明協(xié)議.pdf
- 網(wǎng)絡(luò)協(xié)議的自動化FuzzTesting漏洞挖掘方法.pdf
- 船舶自動化警報監(jiān)控系統(tǒng)的可靠性及安全性研究.pdf
評論
0/150
提交評論