图书介绍
电子商务交易协议理论与验证方法PDF|Epub|txt|kindle电子书版本网盘下载
- 王茜编著 著
- 出版社： 广州：中山大学出版社
- 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 通信顺序进程CSP141
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