图书介绍
电子商务交易协议理论与验证方法pdf电子书版本下载
- 王茜编著 著
- 出版社： 广州：中山大学出版社
- ISBN：9787306035004
- 出版时间：2010
- 标注页数：181页
- 文件大小：71MB
- 文件页数：191页
- 主题词：电子商务－研究
PDF下载
下载说明
电子商务交易协议理论与验证方法PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如 BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一章 电子商务交易系统 1
1.1 电子商务交易系统发展 1
1.1.1 电子商务交易的网上支付发展 2
1.1.2 电子现金交易系统发展 5
1.1.3 电子商务交易的个性化推荐系统发展 8
1.2 电子商务交易系统安全体系 10
1.2.1 电子商务安全技术体系 11
1.2.2 加密技术层 12
1.2.3 安全认证层 13
1.3 电子商务交易协议属性及分析 15
1.3.1 电子商务交易协议特殊性 15
1.3.2 电子商务交易协议属性 16
1.3.3 电子商务交易协议比较分析 20
第二章 电子现金交易协议研究进展 30
2.1 交易协议的公平性 30
2.1.1 渐进式互换实现公平性 30
2.1.2 On-line TTP方法实现公平性 31
2.1.3 Off-line TTP方法实现公平性 35
2.2 交易协议的原子性研究 40
2.2.1 原子性解决方案 40
2.2.2 匿名原子交易协议 42
2.3 交易协议的匿名性研究 44
2.3.1 无条件的电子现金方案 45
2.3.2 有条件的电子现金方案 48
2.4 交易协议的电子现金可分性研究 55
2.4.1 基于二叉树的可分电子现金方案 55
2.4.2 不使用二叉树的可分电子现金方案 56
2.5 数据压缩k-spendable电子现金方案 57
2.5.1 数据压缩k-spendable电子现金方案的效率研究 58
2.5.2 数据压缩k-spendable电子现金方案的可分性研究 60
2.5.3 数据压缩k-spendable电子现金方案的其他研究方向 62
第三章 匿名原子的电子现金交易协议模型 65
3.1 交易协议模型研究进展 65
3.2 E-Cash交易协议电子商务系统模型化 67
3.2.1 协议模型假设 68
3.2.2 电子商务系统的模型化 69
3.3 离线可信第三方匿名原子的电子现金交易协议模型 74
3.3.1 数据类型及映射函数 76
3.3.2 消费者本地协议模型 80
3.3.3 商家本地协议模型 81
3.3.4 离线可信第三方本地协议模型 82
3.4 交易协议模型的原子性分析 84
3.4.1 协议模型的原子性表示 84
3.4.2 对于TA1原子性分析 85
3.4.3 原子性分析 86
第四章 匿名原子的电子现金交易协议研究 88
4.1 扩展的CEMBS可验证加密算法 88
4.1.1 系统建立 89
4.1.2 消息m的加密 89
4.1.3 CEMBS可验证加密的生成 89
4.1.4 CEMBS验证 89
4.1.5 TTP对加密消息m解密 90
4.2 ICSP交互确认协议设计 90
4.2.1 注册 91
4.2.2 ICSP交互协议 93
4.2.3 不可否认数字签名的转换 94
4.2.4 ICSP协议的安全性分析 94
4.3 离线可信第三方的匿名原子电子现金交易协议 97
4.3.1 交易协议设计思想 97
4.3.2 E-Cash提取 99
4.3.3 Transaction协议 100
4.3.4 Cresolve协议 104
4.3.5 Mresolve协议 105
4.3.6 Abort协议 106
4.4 匿名原子交易协议分析比较 107
4.4.1 原子性分析 107
4.4.2 匿名性分析 108
4.4.3 终止性分析 110
4.4.4 安全有效性分析 111
4.4.5 不可否认性分析 112
4.5 交易协议的比较分析 113
4.5.1 协议执行效率比较 113
4.5.2 交易时限和终止性 115
4.5.3 数据存贮 116
第五章 安全协议验证分析方法研究 117
5.1 BAN逻辑 117
5.1.1 BAN逻辑概述 117
5.1.2 BAN逻辑的缺陷 120
5.1.3 BAN逻辑研究的发展方向 121
5.2 BAN类逻辑 122
5.2.1 BAN类逻辑概述 122
5.2.2 SVO逻辑概述 125
5.3 Kailar逻辑 129
5.3.1 Kailar逻辑概述 129
5.3.2 Kailar逻辑的缺陷 131
5.4 定理证明方法 135
5.4.1 串空间 136
5.4.2 Schneider秩函数 138
5.5 模型检测分析方法 141
5.5.1 通信顺序进程CSP 141
5.5.2 SMV型检测系统 143
5.5.3 基于分支时态逻辑CTL及有限状态机模型 144
5.6 其他的协议分析方法 145
第六章 电子商务交易协议形式化验证方法 146
6.1 SVO形式化验证方法 147
6.1.1 SVO形式化验证方法的缺陷 147
6.1.2 SVO分析方法存在的局限性 151
6.2 电子商务交易协议新形式化验证方法 152
6.2.1 基本符号 152
6.2.2 协议运行环境及语义 153
6.2.3 推理规则 155
6.2.4 协议分析步骤 156
6.3 新形式化方法的应用实例 157
6.3.1 Zhou Gollmann协议形式化验证 157
6.3.2 ISI支付协议形式化验证 160
6.3.3 匿名原子电子商务交易协议形式化验证 162
6.3.4 离线可信第三方匿名原子电子现金交易协议验证 165
参考文献 169