基于模型检查的网络协议分析与验证
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-20页 |
| ·研究背景 | 第11-17页 |
| ·协议验证 | 第11-14页 |
| ·协议模拟 | 第14-16页 |
| ·模型检查技术与工具介绍 | 第16-17页 |
| ·相关工作 | 第17-18页 |
| ·研究内容 | 第18-19页 |
| ·论文结构 | 第19-20页 |
| 第2章 模型检查理论及方法 | 第20-31页 |
| ·模型检查简介 | 第20-22页 |
| ·系统建模方法 | 第22-25页 |
| ·模型检查工具SPIN | 第25-29页 |
| ·SPIN 工具简介 | 第25-26页 |
| ·SPIN 验证过程 | 第26-29页 |
| ·网络协议模型检查研究现状 | 第29-30页 |
| ·小结 | 第30-31页 |
| 第3章 模型检查 TCP 连接管理协议 | 第31-50页 |
| ·TCP 连接管理协议形式化建模 | 第31-44页 |
| ·TCP 连接管理协议简介 | 第31-34页 |
| ·TCP 连接管理协议形式化模型 | 第34-44页 |
| ·TCP 连接管理协议属性提取 | 第44-45页 |
| ·TCP 连接管理协议模型验证 | 第45-49页 |
| ·验证策略 | 第45-47页 |
| ·验证结果 | 第47-49页 |
| ·小结 | 第49-50页 |
| 第4章 模型检查无线局域网双向认证协议 | 第50-66页 |
| ·无线局域网认证协议概述 | 第50-54页 |
| ·无线局域网协议体系架构 | 第50页 |
| ·访问控制协议简介 | 第50-54页 |
| ·EAP-TLS 协议形式化建模 | 第54-62页 |
| ·EAP-TLS 协议简介 | 第54-56页 |
| ·EAP-TLS 协议形式化模型 | 第56-62页 |
| ·EAP-TLS 协议属性提取 | 第62-63页 |
| ·EAP-TLS 协议模型验证 | 第63-65页 |
| ·小结 | 第65-66页 |
| 总结 | 第66-68页 |
| 参考文献 | 第68-72页 |
| 致谢 | 第72-73页 |
| 附录 A 攻读学位期间所发表的学术论文目录 | 第73-74页 |
| 附录 B 攻读学位期间所参与的科研活动 | 第74页 |
