已閱讀1頁，還剩57頁未讀， 繼續(xù)免費閱讀
版權說明：本文檔由用戶提供并上傳，收益歸屬內容提供方，若內容存在侵權，請進行舉報或認領
文檔簡介
1、電子商務協(xié)議是保障電子商務安全的一種重要手段。非否認性和公平性是電子商務協(xié)議的重要性質，但相對于認證協(xié)議和密鑰分配協(xié)議的保密性和認證性，電子商務協(xié)議及其非否認性和公平性的形式化研究還不夠充分。 論文對串空間模型的叢理論、誠實理論和認證測試理論進行深入的研究，并在此基礎上探討了將串空間模型應用于電子商務協(xié)議安全性形式化分析的方法。為了能反映電子商務協(xié)議中加密、簽名、完整性保護等多種安全機制，擴展了密碼原語，以滿足分析復雜安全協(xié)議的
2、需要。根據(jù)電子商務協(xié)議主體利益目標不一致、攻擊主要來自內部的特點，擴展了攻擊模型，對主體處理消息的能力進行了形式化的定義。為了解決電子商務協(xié)議中協(xié)議主體動態(tài)確定，協(xié)議執(zhí)行路徑不唯一確定的問題，擴展了串空間中結點間的因果依賴關系，來描述協(xié)議隨著協(xié)議步驟的不斷執(zhí)行而使協(xié)議執(zhí)行結果發(fā)生改變的內在邏輯關聯(lián)。 論文應用擴展的串空間模型對安全電子支付協(xié)議SET的安全性進行了較為全面的分析，首次應用形式化的分析方法對SET的保密性、認證性及完
溫馨提示
- 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙，網頁內容里面會有圖紙預覽，若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內容本身不做任何修改或編輯，并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容，請與我們聯(lián)系，我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 電子商務協(xié)議形式化分析工具的研究.pdf
- 電子商務安全協(xié)議的設計與形式化分析.pdf
- 電子商務安全協(xié)議的形式化分析技術研究.pdf
- 基于svo邏輯的電子商務協(xié)議形式化分析與研究
- 顏色petri網的電子商務協(xié)議形式化分析方法研究
- 電子商務安全協(xié)議的一種形式化分析方法.pdf
- 基于SVO邏輯的電子商務協(xié)議形式化分析與研究.pdf
- 基于SPV邏輯的電子商務協(xié)議形式化分析與研究.pdf
- 電子商務協(xié)議安全性的形式化分析方法研究.pdf
- 基于串空間的安全協(xié)議形式化分析建模和研究.pdf
- 基于模型檢測的電子商務交易協(xié)議形式化分析與驗證.pdf
- 基于串空間模型的安全協(xié)議形式化分析與研究.pdf
- 基于串空間模型的安全協(xié)議形式化分析技術研究.pdf
- 安全協(xié)議形式化分析及其應用.pdf
- 安全協(xié)議形式化分析理論與應用研究.pdf
- 基于串空間的網絡安全協(xié)議形式化分析模型與工具研究.pdf
- 密碼協(xié)議的形式化分析.pdf
- 基于串空間理論的電子商務協(xié)議安全性研究.pdf
- 安全協(xié)議的形式化分析.pdf
- 基于線空間模型的安全協(xié)議形式化分析.pdf
評論
0/150
提交評論