| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| 引言 | 第7页 |
| ·研究背景和意义 | 第7-8页 |
| ·国内外研究现状 | 第8-9页 |
| ·本文的结构 | 第9-10页 |
| ·本文主要研究成果 | 第10-11页 |
| 第二章 物联网及安全协议形式化概述 | 第11-29页 |
| ·物联网的发展 | 第11页 |
| ·物联网的定义 | 第11-12页 |
| ·物联网的研究现状 | 第12-13页 |
| ·物联网体的体系结构 | 第13-15页 |
| ·物联网关键技术研究 | 第15-18页 |
| ·安全协议形式化研究综述 | 第18-23页 |
| ·安全协议形式化相关研究 | 第23-29页 |
| 第三章 利用串空间模型对安全协议进行形式化分析与验证 | 第29-37页 |
| ·基本概念 | 第29-33页 |
| ·攻击者模型 | 第33-35页 |
| ·利用串空间理论模型对安全协议进行形式化分析和验证 | 第35-37页 |
| 第四章 基于认证测试方法的安全协议验证和设计 | 第37-51页 |
| ·认证测试方法基本概念和原则 | 第38-41页 |
| ·N-S公钥协议的验证和改进 | 第41-44页 |
| ·N-S协议的改进及验证 | 第44-45页 |
| ·基于认证测试方法的N-S公钥协议再设计 | 第45-51页 |
| 第五章 结论与展望 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 致谢 | 第55-56页 |
| 攻读硕士学位期间发表的学术论文 | 第56页 |