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

內(nèi)容概要

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

書(shū)籍目錄

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

圖書(shū)封面

評(píng)論、評(píng)分、閱讀與下載

---

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

---