第1章 电子商务安全概述 1
1.1 电子商务的基本概念 1
1.2 电子商务面临的安全威胁 3
1.3 电子商务安全协议 5
1.4 电子商务安全协议研究现状 6
第2章 电子商务安全基础设施 11
2.1 PKI综述 11
2.2 PKI技术的信任服务 13
2.3 PKI技术的意义 15
2.4 PKI的标准 16
2.5 PKI的体系结构 18
2.6 PKI应用 20
2.7 本章小结 24
第3章 电子商务安全协议 25
3.1 安全协议的密码学基础 25
3.2 安全协议 34
3.3 电子商务安全协议 36
3.4 本章小结 45
第4章 典型电子商务安全协议逻辑分析方法 47
4.1 协议形式化分析基础 47
4.2 BAN类逻辑 50
4.3 KAILAR逻辑 57
4.4 SVO逻辑 60
4.5 卿—逻辑 68
4.6 基于博弈的ATL逻辑 76
4.7 串空间模型 82
4.8 其他逻辑方法简介 91
4.9 本章小结 92
第5章 新的电子商务安全协议逻辑分析方法 95
5.1 基本假设 96
5.2 基本概念 96
5.3 新逻辑的语法 98
5.4 新逻辑的公理与推理规则 100
5.5 新逻辑的语义分析 105
5.6 分析协议的步骤 116
5.7 应用实例 117
5.8 本章小结 126
第6章 复合型电子商务安全协议 129
6.1 复合型协议CECSP 130
6.2 认证子协议TAKEP安全属性分析 135
6.3 支付子协议AECPP安全属性分析 140
6.4 复合型协议CECSP的性能分析 150
6.5 本章小结 153
第7章 自更新哈希链机制（SUHC） 155
7.1 自更新哈希链机制 156
7.2 安全性分析与证明 161
7.3 SUHC机制应用 170
7.4 本章小结 183
第8章 合同签署协议 185
8.1 基于混合可验证加密签名体制的合同签署协议 186
8.2 基于格身份签名体制的乐观公平合同签署协议 194
8.3 多方合同签署协议的设计与分析 200
8.4 本章小结 209
第9章 电子商务安全协议设计准则 211
9.1 一般安全协议的设计准则 211
9.2 电子商务安全协议的设计准则 216
参考文献 219