IPv6过渡阶段中的安全研究
| 致谢 | 第1-6页 |
| 中文摘要 | 第6-7页 |
| ABSTRACT | 第7-12页 |
| 1 绪论 | 第12-16页 |
| ·课题背景 | 第12-13页 |
| ·国内外研究概况 | 第13-14页 |
| ·国内研究现状 | 第13-14页 |
| ·国外研究现状 | 第14页 |
| ·本文内容及结构 | 第14-16页 |
| 2 IPv6协议及迁移技术 | 第16-31页 |
| ·IPv6核心技术 | 第16-22页 |
| ·概述 | 第16-18页 |
| ·IPv6报头结构 | 第18-19页 |
| ·地址自动配置 | 第19-20页 |
| ·邻居发现 | 第20-21页 |
| ·路由技术 | 第21-22页 |
| ·IPv6迁移技术 | 第22-24页 |
| ·栈机制 | 第22页 |
| ·隧道技术 | 第22-23页 |
| ·协议转换 | 第23-24页 |
| ·IPv6安全机制 | 第24-28页 |
| ·IPsec概述 | 第24-25页 |
| ·认证报头 | 第25-26页 |
| ·封装安全有效载荷 | 第26-27页 |
| ·Internet密钥交换协议 | 第27-28页 |
| ·协议安全性的分析方法 | 第28-31页 |
| ·模型检测工具SPIN | 第28-29页 |
| ·建模语言Promela | 第29-30页 |
| ·线性时态逻辑LTL | 第30-31页 |
| 3 网络安全分析 | 第31-41页 |
| ·IPv4和IPv6对比 | 第31页 |
| ·扩展首部隐患 | 第31-35页 |
| ·扩展首部的弱点 | 第32页 |
| ·逐跳选项首部和目的选项首部 | 第32-33页 |
| ·分段首部 | 第33-34页 |
| ·上层首部 | 第34-35页 |
| ·局域网安全 | 第35-38页 |
| ·无状态地址自动配置问题 | 第35-36页 |
| ·重复地址检测问题 | 第36-38页 |
| ·邻居发现的问题 | 第38页 |
| ·迁移机制的安全 | 第38-41页 |
| ·栈安全隐患 | 第38-39页 |
| ·隧道安全隐患 | 第39-40页 |
| ·针对NAT-PT的攻击 | 第40-41页 |
| 4 安全策略 | 第41-56页 |
| ·针对扩展首部的威胁 | 第41-44页 |
| ·过滤扩展首部 | 第41-42页 |
| ·分段首部威胁 | 第42-44页 |
| ·局域网防护 | 第44-47页 |
| ·私有扩展地址 | 第44-46页 |
| ·DHCPv6的威胁和应对 | 第46页 |
| ·跟踪IPv6地址 | 第46-47页 |
| ·主机安全 | 第47-56页 |
| ·检测隧道 | 第47-51页 |
| ·IPv6转发 | 第51-54页 |
| ·地址选择 | 第54-56页 |
| 5 IPSec的安全性验证 | 第56-73页 |
| ·IPv6数据包的保密性验证 | 第56-71页 |
| ·ESP协议行为抽象 | 第56-57页 |
| ·建立ESP的Promela模型 | 第57-66页 |
| ·ESP协议目标安全性质的LTL描述 | 第66-67页 |
| ·SPIN验证结果与分析 | 第67-71页 |
| ·IPv6数据包完整性验证 | 第71-72页 |
| ·本章小结 | 第72-73页 |
| 6 总结与展望 | 第73-75页 |
| ·总结 | 第73页 |
| ·展望 | 第73-75页 |
| 参考文献 | 第75-77页 |
| 作者简历 | 第77-79页 |
| 学位论文数据集 | 第79页 |
