注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當(dāng)前位置: 首頁出版圖書經(jīng)濟(jì)管理管理電子商務(wù)電子商務(wù)交易協(xié)議理論與驗(yàn)證方法

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

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

定 價(jià):¥23.00

作 者: 王茜 著
出版社: 中山大學(xué)出版社
叢編項(xiàng):
標(biāo) 簽: 貿(mào)易經(jīng)濟(jì) 經(jīng) 濟(jì) 財(cái)經(jīng)管理

購買這本書可以去


ISBN: 9787306035004 出版時(shí)間: 2010-07-01 包裝: 平裝
開本: 16 頁數(shù): 181頁 字?jǐn)?shù):  

內(nèi)容簡介

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

作者簡介

暫缺《電子商務(wù)交易協(xié)議理論與驗(yàn)證方法》作者簡介

圖書目錄

第一章 電子商務(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 無條件的電子現(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可驗(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對加密消息m解密
4.2 ICSP交互確認(rèn)協(xié)議設(shè)計(jì)
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è)計(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 模型檢測分析方法
5.5.1 通信順序進(jìn)程CSP
5.5.2 SMV型檢測系統(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 基本符號
6.2.2 協(xié)議運(yùn)行環(huán)境及語義
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)

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號