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

第一章　電子商務(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　安全認(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)式互換實現(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é)議模型研究進(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　對于■原子性分析
3．4．3　原子性分析
第四章　匿名原子的電子現(xiàn)金交易協(xié)議研究
4．1　擴(kuò)展的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交互確認(rèn)協(xié)議設(shè)計
4．2．1　注冊
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è)計思想
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　交易時限和終止性
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　通信順序進(jìn)程CSP
5．5．2　SMV型檢測系統(tǒng)
5．5．3　基于分支時態(tài)邏輯CTL及有限狀態(tài)機(jī)模型
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é)議運(yùn)行環(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é)議驗證
參考文獻(xiàn)