| 摘要 | 第1-5页 |
| ABSTRACT | 第5-12页 |
| 第1章 绪论 | 第12-25页 |
| ·安全协议的研究背景和内容 | 第12-13页 |
| ·安全协议形式化方法的研究现状和发展趋势 | 第13-20页 |
| ·研究内容和论文安排 | 第20-25页 |
| 第2章 安全协议的形式化理论方法 | 第25-44页 |
| ·安全协议的形式化方法 | 第25-34页 |
| ·自动化协议验证算法和工具 | 第34-38页 |
| ·串空间模型的基本理论 | 第38-43页 |
| ·本章小结 | 第43-44页 |
| 第3章 基于认证测试方法的安全协议验证和设计 | 第44-63页 |
| ·引言 | 第44-45页 |
| ·认证测试方法及其应用 | 第45-49页 |
| ·Needham-Schroeder 公钥协议的验证及改进 | 第49-54页 |
| ·Woo-Lam 单向认证协议的验证及改进 | 第54-58页 |
| ·基于认证测试方法的Needham-Schroeder 公钥协议的再设计 | 第58-62页 |
| ·本章小结 | 第62-63页 |
| 第4章 基于消息类型检测的改进认证测试方法 | 第63-84页 |
| ·引言 | 第63-64页 |
| ·认证测试方法存在的问题 | 第64-67页 |
| ·基于消息类型检测的改进认证测试方法 | 第67-71页 |
| ·Neuman-Stubblebine 协议的安全性验证及改进 | 第71-76页 |
| ·Kao-Chow 认证协议的安全性验证及改进 | 第76-78页 |
| ·EAP-AKA 无线认证协议的安全性验证 | 第78-83页 |
| ·本章小结 | 第83-84页 |
| 第5章 基于改进认证测试方法的自动化安全协议验证算法 | 第84-102页 |
| ·引言 | 第84-85页 |
| ·现有自动化安全协议验证算法的分析 | 第85-87页 |
| ·AAAP 算法中安全协议的描述方法 | 第87-90页 |
| ·AAAP 算法的设计与分析 | 第90-96页 |
| ·基于AAAP 算法的协议验证 | 第96-101页 |
| ·本章小结 | 第101-102页 |
| 第6章 基于 AAAP 算法的原型系统设计与实现 | 第102-113页 |
| ·引言 | 第102-103页 |
| ·原型系统的总体设计 | 第103-104页 |
| ·原型系统的实现方法 | 第104-108页 |
| ·原型系统的测试与分析 | 第108-112页 |
| ·本章小结 | 第112-113页 |
| 第7章 总结与展望 | 第113-115页 |
| 参考文献 | 第115-126页 |
| 致谢 | 第126-127页 |
| 攻读博士学位期间完成的学术论文和科研工作 | 第127-130页 |
