| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 言 | 第8-12页 |
| ·题的背景及意义 | 第8-9页 |
| ·题的国内外研究状况 | 第9-10页 |
| ·题的研究内容及主要工作 | 第10页 |
| ·文的组织结构 | 第10-12页 |
| 第二章 全协议形式化分析综述 | 第12-21页 |
| ·协议 | 第12-15页 |
| ·全协议形式化分析 | 第15-21页 |
| 第三章 空间模型理论及其扩展 | 第21-30页 |
| ·空间理论的三大分支及其方法 | 第21-27页 |
| ·-StrandSpaceModel | 第27-30页 |
| 第四章 空间模型及E-Strand Space Model理论的应用 | 第30-45页 |
| ·tway-Rees协议的形式化分析及其改进 | 第30-34页 |
| ·于认证测试理论CCITT X.509改进协议的形式化分析 | 第34-37页 |
| ·种新的电子邮件协议及其形式化分析 | 第37-45页 |
| 第五章 结与展望 | 第45-47页 |
| ·结 | 第45页 |
| ·望 | 第45-47页 |
| 致谢 | 第47-48页 |
| 参考文献 | 第48-52页 |
| 附录 攻读学位期间发表论文目录 | 第52页 |