電子商務交易協議理論與驗證方法

內容概要

　　《電子商務交易協議理論與驗證方法》是對國家自然科學基金資助項目“基于離線可信第三方的電子現金交易系統理論與方法”的一個全面總結。全書圍繞電子商務交易協議相關理論和協議驗證方法展開，從保護交易雙方利益的角度出發(fā)，針對電子商務交易協議，尤其是電子現金支付理論研究和實際應用中存在的瓶頸問題，以電子商務交易安全框架為主線，對電子商務交易協議的底層安全技術、交易協議屬性、交易協議的模型以及交易協議驗證的理論和方法進行了系統的闡述。

書籍目錄

第一章　電子商務交易系統1．1　電子商務交易系統發(fā)展1．1．1　電子商務交易的網上支付發(fā)展1．1．2　電子現金交易系統發(fā)展1．1．3　電子商務交易的個性化推薦系統發(fā)展1．2　電子商務交易系統安全體系1．2．1　電子商務安全技術體系1．2．2　加密技術層1．2．3　安全認證層1．3　電子商務交易協議屬性及分析1．3．1　電子商務交易協議特殊性1．3．2　電子商務交易協議屬性1．3．3　電子商務交易協議比較分析第二章　電子現金交易協議研究進展2．1　交易協議的公平性2．1．1　漸進式互換實現公平性2．1．2　On—line TTP方法實現公平性2．1．3　Off—line TTP方法實現公平性2．2　交易協議的原子性研究2．2．1　原子性解決方案2．2．2　匿名原子交易協議2．3　交易協議的匿名性研究2．3．1　無條件的電子現金方案2．3．2　有條件的電子現金方案2．4　交易協議的電子現金可分性研究2．4．1　基于二叉樹的可分電子現金方案2．4．2　不使用二叉樹的可分電子現金方案2．5　數據壓縮k-spendable電子現金方案2．5．1　數據壓縮k-spendable電子現金方案的效率研究2．5．2　數據壓縮k-spenclable電子現金方案的可分性研究2．5．3　數據壓縮k-spentiable電子現金方案的其他研究方向第三章　匿名原子的電子現金交易協議模型3．1　交易協議模型研究進展3．2　E-Cash交易協議電子商務系統模型化3．2．1　協議模型假設3．2．2　電子商務系統的模型化3．3　離線可信第三方匿名原子的電子現金交易協議模型3．3．1　數據類型及映射函數3．3．2　消費者本地協議模型3．3．3　商家本地協議模型3．3．4　離線可信第三方本地協議模型3．4　交易協議模型的原子性分析3．4．1　協議模型的原子性表示3．4．2　對于■原子性分析3．4．3　原子性分析第四章　匿名原子的電子現金交易協議研究4．1　擴展的CEMBS可驗證加密算法4．1．1　系統建立4．1．2　消息的加密4．1．3　CEMBS可驗證加密的生成4．1．4　CEMBS驗證4．1．5　TTP對加密消息m解密4．2 ICSP交互確認協議設計4．2．1　注冊4．2．2　ICSP交互協議4．2．3 不可否認數字簽名的轉換4．2．4　ICSP協議的安全性分析4．3　離線可信第三方的匿名原子電子現金交易協議4．3．1　交易協議設計思想4．3．2　E-Cash提取4．3．3　Transaction協議4．3．4　Cresolve協議4．3．5　Mresolve協議4．3．6　Abort協議4．4　匿名原子交易協議分析比較4．4．1　原子性分析4．4．2　匿名性分析4．4．3　終止性分析4．4．4　安全有效性分析4．4．5　不可否認性分析4．5　交易協議的比較分析4．5．1　協議執(zhí)行效率比較4．5．2　交易時限和終止性4．5．3　數據存貯第五章　安全協議驗證分析方法研究5．1　BAN邏輯5．1．1　BAN邏輯概述5．1．2　BAN邏輯的缺陷5．1．3　BAN邏輯研究的發(fā)展方向5．2　BAN類邏輯5．2．1　BAN類邏輯概述5．2．2　SVO邏輯概述5．3　Kailar邏輯5．3．1　Kailar邏輯概述5．3．2　Kailar邏輯的缺陷5．4　定理證明方法5．4．1　串空間5．4．2　Schneider秩函數5．5　模型檢測分析方法5．5．1　通信順序進程CSP5．5．2　SMV型檢測系統5．5．3　基于分支時態(tài)邏輯CTL及有限狀態(tài)機模型5．6　其他的協議分析方法第六章　電子商務交易協議形式化驗證方法6．1　SVO形式化驗證方法6．1．1　SVO形式化驗證方法的缺陷6．1．2　SVO分析方法存在的局限性6．2　電子商務交易協議新形式化驗證方法6．2．1　基本符號6．2．2　協議運行環(huán)境及語義6．2．3　推理規(guī)則6．2．4　協議分析步驟6．3　新形式化方法的應用實例6．3．1　Zhou Gollmann協議形式化驗證6．3．2　ISI支付協議形式化驗證6．3．3　匿名原子電子商務交易協議形式化驗證6．3．4　離線可信第三方匿名原子電子現金交易協議驗證參考文獻

圖書封面

評論、評分、閱讀與下載

---

    電子商務交易協議理論與驗證方法 PDF格式下載

---