| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·课题研究背景 | 第7-8页 |
| ·国内外研究现状与发展 | 第8-11页 |
| ·DTLS 协议的研究现状 | 第8-9页 |
| ·安全协议形式化分析的研究现状 | 第9-11页 |
| ·课题研究的目标和内容 | 第11-12页 |
| ·本文主要工作和结构 | 第12-13页 |
| 第二章 DTLS 协议的分析 | 第13-23页 |
| ·DTLS 协议原理 | 第13-14页 |
| ·DTLS 协议概述 | 第13页 |
| ·DTLS 协议结构 | 第13-14页 |
| ·DTLS 协议分层模型 | 第14-22页 |
| ·记录层协议 | 第14-17页 |
| ·握手协议 | 第17-21页 |
| ·改变密码规格协议 | 第21页 |
| ·警告协议 | 第21-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 基于 Java 的 DTLS 协议设计与实现 | 第23-49页 |
| ·PureTLS 工具箱 | 第23-24页 |
| ·概述 | 第23页 |
| ·PureTLS 模块结构 | 第23-24页 |
| ·PureTLS 的 DTLS 协议设计 | 第24-31页 |
| ·握手协议模块 | 第24-30页 |
| ·记录层协议模块 | 第30-31页 |
| ·PureTLS 的 DTLS 协议实现 | 第31-40页 |
| ·主要函数功能 | 第31-32页 |
| ·DTLSSocket 类 | 第32-33页 |
| ·DTLSHandshakeClient 类 | 第33-36页 |
| ·DTLSHandshakeServer 类 | 第36-40页 |
| ·DTLSRecord 类 | 第40页 |
| ·测试及结果分析 | 第40-48页 |
| ·测试环境 | 第40页 |
| ·测试目标 | 第40-41页 |
| ·测试结果与分析 | 第41-48页 |
| ·本章小结 | 第48-49页 |
| 第四章 DTLS 协议安全分析 | 第49-67页 |
| ·安全协议分析方法 | 第49-62页 |
| ·基于模态逻辑技术的分析方法 | 第49-51页 |
| ·基于模型检测技术的分析方法 | 第51-56页 |
| ·基于定理证明的分析方法 | 第56-60页 |
| ·认证测试方法 | 第60-62页 |
| ·基于认证测试方法的 DTLS 协议的验证 | 第62-65页 |
| ·DTLS 协议形式化描述 | 第62-63页 |
| ·DTLS 协议认证性验证 | 第63-65页 |
| ·本章小结 | 第65-67页 |
| 第五章 结束语 | 第67-69页 |
| ·总结 | 第67页 |
| ·展望 | 第67-69页 |
| 致谢 | 第69-71页 |
| 参考文献 | 第71-74页 |