| 第一章 绪论 | 第1-17页 |
| ·安全协议的背景知识和基本概念 | 第6-8页 |
| ·安全协议的安全性 | 第8-10页 |
| ·安全协议形式化分析技术的研究与进展 | 第10-15页 |
| ·论文安排与研究成果 | 第15-17页 |
| 第二章 基于模型检测技术的安全协议运行模式分析法 | 第17-29页 |
| ·引言 | 第17页 |
| ·模型检测技术分析安全协议的理论基础 | 第17-18页 |
| ·两方安全协议的运行模式分析法 | 第18-19页 |
| ·基于可信第三方的三方安全协议运行模式分析法 | 第19-28页 |
| ·本章小结 | 第28-29页 |
| 第三章 三方安全协议运行模式分析法分析SET 协议 | 第29-39页 |
| ·引言 | 第29页 |
| ·SET协议简介 | 第29-31页 |
| ·SET协议安全性分析 | 第31-38页 |
| ·本章小结 | 第38-39页 |
| 第四章 电子商务安全协议的设计方法研究 | 第39-51页 |
| ·引言 | 第39页 |
| ·安全协议设计原则 | 第39-42页 |
| ·电子商务安全协议的设计原则 | 第42-45页 |
| ·一个电子商务安全协议的设计及分析 | 第45-50页 |
| ·本章小结 | 第50-51页 |
| 结束语 | 第51-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-57页 |
| 作者在攻读硕士学位期间完成的论文 | 第57页 |