第一章 电子商务交易系统 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