電子商務(wù)交易協(xié)議理論與驗證方法

內(nèi)容概要

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

書籍目錄

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

圖書封面

評論、評分、閱讀與下載

---

    電子商務(wù)交易協(xié)議理論與驗證方法 PDF格式下載

---