

已閱讀1頁,還剩66頁未讀, 繼續(xù)免費閱讀
版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
1、隨著現代計算機技術和網絡技術的不斷更新,它們的應用領域也在向著更寬更深的方向發(fā)展,這也對計算機網絡安全提出了更高的要求。被設計用來解決這一問題的安全協議在一定程度上為網絡通信的正常運行起到了積極的作用。但是,由于其自身設計中的一些缺陷而最終導致的安全漏洞也成為了現代非常嚴重的網絡安全問題。所以人們就在安全協議設計與分析中投入了大量的工作。 安全協議設計規(guī)則為安全協議的制定提供了標準,而安全協議分析為安全協議能夠成功實現其安全性能
2、提供了保障。并且,隨著現代通信技術的不斷發(fā)展和網絡技術的廣泛應用,這兩個方面越來越受到人們的關注。這其中就包括對安全協議的形式化分析這一重要內容。 安全協議的形式化分析大體來說有三種方法,形式邏輯,模型檢驗和定理證明。其中,作為形式化分析的重要組成部分和有效分析手段的模型檢驗技術在分析安全協議這一過程中更是凸顯了其重要的作用和地位。其中,有一種基于可滿足性問題的模型檢驗技術已經在安全協議形式化分析中得到了應用。 本文的主
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 面向數據安全的形式化驗證可滿足問題研究.pdf
- 安全協議形式化驗證方法的研究.pdf
- 形式化驗證安全協議Java代碼的安全性.pdf
- 基于串空間模型的安全協議形式化驗證方法的研究.pdf
- 基于知識理論的安全協議形式化驗證方法的應用——驗證對稱密鑰交換協議.pdf
- 安全協議的形式化驗證技術研究.pdf
- 基于形式化方法的安全協議自動化驗證算法的研究.pdf
- 802.11i中安全協議的形式化驗證
- 基于π演算的WSN路由協議形式化驗證的方法研究.pdf
- Ad hoc網絡協議安全性的形式化驗證研究.pdf
- 模型檢測在安全協議形式化驗證中的應用
- 帶參協議形式化驗證的研究.pdf
- 模型檢測在安全協議形式化驗證中的應用.pdf
- 基于CSP模型檢測的無線傳感網安全協議形式化驗證.pdf
- 基于模型檢測的電子商務協議形式化驗證方法研究.pdf
- 基于模型檢測的SET協議形式化驗證與改進.pdf
- 滿足性算法在形式化驗證中的應用研究及實現.pdf
- 可信信道協議的設計與形式化驗證.pdf
- 混合系統的形式化驗證.pdf
- 基于圖論的形式化驗證方法的研究與實現.pdf
評論
0/150
提交評論