电子商务安全协议的一种形式化分析方法
| 中文摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-13页 |
| ·研究背景及意义 | 第9-10页 |
| ·国内外研究现状 | 第10-11页 |
| ·本文研究内容 | 第11-12页 |
| ·本文组织结构 | 第12-13页 |
| 第二章 电子商务安全协议及其形式化分析 | 第13-27页 |
| ·电子商务安全协议基本概念 | 第13-16页 |
| ·两个具体的电子商务安全协议 | 第16-21页 |
| ·电子商务安全协议的形式化分析方法 | 第21-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 串空间模型及其认证测试方法 | 第27-39页 |
| ·串空间模型 | 第27-34页 |
| ·消息项 | 第28-29页 |
| ·串空间模型的基本要素 | 第29-31页 |
| ·丛和项的因果关系 | 第31-32页 |
| ·入侵者模型 | 第32-34页 |
| ·认证测试方法 | 第34-38页 |
| ·认证测试方法的基本概念 | 第35-36页 |
| ·认证测试方法的三种测试 | 第36-38页 |
| ·认证测试方法步骤和规则 | 第38页 |
| ·本章小结 | 第38-39页 |
| 第四章 串空间模型及其认证测试方法的扩展 | 第39-49页 |
| ·基于丰富密码学的电子商务安全协议 | 第39-41页 |
| ·对于串空间模型的扩展 | 第41-44页 |
| ·消息项扩展 | 第41-42页 |
| ·自由假设扩展 | 第42-43页 |
| ·子项关系扩展 | 第43-44页 |
| ·入侵者模型扩展 | 第44页 |
| ·对于认证测试方法的扩展 | 第44-48页 |
| ·基本概念扩展 | 第45页 |
| ·输出测试扩展 | 第45-46页 |
| ·输入测试扩展 | 第46-47页 |
| ·自发测试扩展 | 第47-48页 |
| ·相关工作比较 | 第48页 |
| ·本章小结 | 第48-49页 |
| 第五章 应用实例分析 | 第49-57页 |
| ·认证测试方法扩展应用 | 第49页 |
| ·SSL3.0 握手协议 | 第49-53页 |
| ·SSL3.0 握手协议的串空间模型 | 第50-51页 |
| ·SSL3.0 握手协议的验证 | 第51-53页 |
| ·TL51.0 握手协议 | 第53-56页 |
| ·TL51.0 握手协议的串空间模型 | 第53-55页 |
| ·TL51.0 握手协议的验证 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-59页 |
| ·本文工作总结 | 第57页 |
| ·进一步展望 | 第57-59页 |
| 参考文献 | 第59-62页 |
| 攻读硕士专业学位期间发表（已录用）的论文 | 第62-63页 |
| 致谢 | 第63-64页 |
