| 中文摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 第一章 引言 | 第8-13页 |
| ·课题研究背景 | 第8页 |
| ·研究现状 | 第8-10页 |
| ·本文的主要研究内容及意义 | 第10-12页 |
| ·文章安排 | 第12-13页 |
| 第二章 无线传感器网络安全问题研究基础 | 第13-29页 |
| ·无线传感器网络安全问题 | 第13-19页 |
| ·网络特性 | 第13-15页 |
| ·安全需求 | 第15-17页 |
| ·攻击类型 | 第17-18页 |
| ·安全协议 | 第18-19页 |
| ·字典攻击 | 第19-23页 |
| ·字典攻击简介 | 第20-21页 |
| ·字典攻击的分类 | 第21页 |
| ·相关研究 | 第21-23页 |
| ·形式化分析方法综述 | 第23-28页 |
| ·形式化方法分类 | 第23-25页 |
| ·applied pi演算 | 第25-28页 |
| ·小结 | 第28-29页 |
| 第三章 安全协议抗离线字典攻击能力分析模型 | 第29-38页 |
| ·抗字典攻击能力影响因素 | 第29-30页 |
| ·APPLIED PI演算符号原语及方程式 | 第30-33页 |
| ·抗离线字典攻击能力的APPLIED PI演算表达 | 第33-35页 |
| ·安全协议模型构建方法 | 第35-37页 |
| ·SNEP协议简介 | 第35页 |
| ·模型构建 | 第35-37页 |
| ·小结 | 第37-38页 |
| 第四章 无线传感器网络安全协议抗离线字典攻击能力的论证 | 第38-48页 |
| ·安全协议抗离线字典攻击能力的论证 | 第38-41页 |
| ·SK_(AB)是可猜测的 | 第39-40页 |
| ·K_(AS)、K_(BS)是可猜测的 | 第40-41页 |
| ·SK_(AB)、K_(AS)、K_(BS)都是可猜测的 | 第41页 |
| ·抗离线字典攻击能力加密方案选取规则 | 第41-42页 |
| ·加密方案安全属性的确定方法 | 第42-46页 |
| ·小结 | 第46-48页 |
| 第五章 无线传感器网络安全协议机密性论证 | 第48-56页 |
| ·安全协议机密性论证模型 | 第48-50页 |
| ·协议进程的机密性论证 | 第50-51页 |
| ·用户进程的机密性论证 | 第51-54页 |
| ·小结 | 第54-56页 |
| 结论与展望 | 第56-58页 |
| 参考文献 | 第58-63页 |
| 致谢 | 第63-64页 |
| 个人简历,在学期间的研究成果及发表的学术论文 | 第64页 |
