| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 1.前言 | 第9-16页 |
| ·研究背景 | 第9-11页 |
| ·电子商务安全需求概述 | 第9-10页 |
| ·安全协议的安全性是信息安全的重要组成部分 | 第10-11页 |
| ·安全协议形式化的发展及研究现状 | 第11-13页 |
| ·本文的主要工作和创新点 | 第13-14页 |
| ·本章小结 | 第14-15页 |
| ·本文的结构安排 | 第15-16页 |
| 2.安全协议和安全属性 | 第16-21页 |
| ·安全协议 | 第16-18页 |
| ·安全属性 | 第16-18页 |
| ·电子商务协议的安全属性比较 | 第18页 |
| ·安全协议的分类 | 第18-19页 |
| ·安全协议的攻击 | 第19页 |
| ·安全协议设计原则 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 3.串空间模型及认证测试方法 | 第21-39页 |
| ·串空间基本概念和定理 | 第21-24页 |
| ·认证测试方法基本概念和定理 | 第24-26页 |
| ·认证测试方法消息的多重加密 | 第26-27页 |
| ·认证测试方法的会话密钥 | 第27-29页 |
| ·认证测试分析大嘴青蛙协议和OTWAY-REE协议 | 第29-36页 |
| ·认证测试分析大嘴青蛙协议 | 第29-32页 |
| ·认证测试分析Otway-Ree协议 | 第32-36页 |
| ·认证测试识别类型缺陷攻击 | 第36-38页 |
| ·认证测试检测类型缺陷攻击的方法 | 第36-37页 |
| ·协议实现中防止类型缺陷攻击的方法 | 第37-38页 |
| ·本章小结 | 第38-39页 |
| 4.一种协议自动化分析方法 | 第39-47页 |
| ·数据集合表示与函数映射 | 第39-40页 |
| ·协议数据结构设计 | 第40-41页 |
| ·算法分析与设计 | 第41-46页 |
| ·协议消息输入 | 第41页 |
| ·认证测试判断 | 第41-42页 |
| ·变换进行边检查 | 第42-44页 |
| ·目标参数认证检查 | 第44-45页 |
| ·类型缺陷攻击检查 | 第45-46页 |
| ·本章小结 | 第46-47页 |
| 5.系统实现与测试 | 第47-57页 |
| ·系统实现与测试 | 第47-55页 |
| ·NS与NSL协议分析 | 第48-50页 |
| ·Yahalom协议分析 | 第50-52页 |
| ·Woo-Lam协议分析 | 第52-53页 |
| ·Otway-Ree协议分析 | 第53-54页 |
| ·大嘴青蛙协议分析 | 第54-55页 |
| ·ATHENA | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 6.结论与展望 | 第57-59页 |
| 参考文献 | 第59-62页 |
| 致谢 | 第62-63页 |
| 在读期间科研成果目录 | 第63页 |