第1章 电子商务安全概述

1.1 电子商务的基本概念

1.2 电子商务面临的安全威胁

1.3 电子商务安全协议

1.4 电子商务安全协议研究现状

第2章 电子商务安全基础设施

2.1 PKI综述

2.2 PKI技术的信任服务

2.3 PKI技术的意义

2.4 PKI的标准

2.5 PKI的体系结构

2.6 PKI应用

2.7 本章小结

第3章 电子商务安全协议

3.1 安全协议的密码学基础

3.2 安全协议

3.3 电子商务安全协议

3.4 本章小结

第4章 典型电子商务安全协议逻辑分析方法

4.1 协议形式化分析基础

4.2 BAN类逻辑

4.3 KAILAR逻辑

4.4 SVO逻辑

4.5 卿—逻辑

4.6 基于博弈的ATL逻辑

4.7 串空间模型

4.8 其他逻辑方法简介

4.9 本章小结

第5章 新的电子商务安全协议逻辑分析方法

5.1 基本假设

5.2 基本概念

5.3 新逻辑的语法

5.4 新逻辑的公理与推理规则

5.5 新逻辑的语义分析

5.6 分析协议的步骤

5.7 应用实例

5.8 本章小结

第6章 复合型电子商务安全协议

6.1 复合型协议CECSP

6.2 认证子协议TAKEP安全属性分析

6.3 支付子协议AECPP安全属性分析

6.4 复合型协议CECSP的性能分析

6.5 本章小结

第7章 自更新哈希链机制（SUHC）

7.1 自更新哈希链机制

7.2 安全性分析与证明

7.3 SUHC机制应用

7.4 本章小结

第8章 合同签署协议

8.1 基于混合可验证加密签名体制的合同签署协议

8.2 基于格身份签名体制的乐观公平合同签署协议

8.3 多方合同签署协议的设计与分析

8.4 本章小结

第9章 电子商务安全协议设计准则

9.1 一般安全协议的设计准则

9.2 电子商务安全协议的设计准则

参考文献