| 第一章 绪论 | 第1-11页 |
| ·课题的国内外研究现状 | 第9页 |
| ·论文主要研究内容 | 第9-10页 |
| ·论文结构安排 | 第10-11页 |
| 第二章 ICMPV6协议分析与比较 | 第11-20页 |
| ·ICMPv6简介 | 第11-12页 |
| ·报文格式 | 第12页 |
| ·报文处理规则 | 第12-14页 |
| ·ICMPv6差错报文 | 第14-17页 |
| ·目的不可达报文 | 第14-15页 |
| ·数据包过大报文 | 第15页 |
| ·超时报文 | 第15-16页 |
| ·参数错误报文 | 第16-17页 |
| ·ICMPv6信息报文 | 第17-18页 |
| ·回应请求报文 | 第17-18页 |
| ·回应应答报文 | 第18页 |
| ·ICMPv6与ICMP的比较 | 第18-20页 |
| 第三章 邻居发现协议分析 | 第20-35页 |
| ·协议简介 | 第20页 |
| ·协议报文格式 | 第20-25页 |
| ·路由器请求报文 | 第20-21页 |
| ·路由器通告报文 | 第21-22页 |
| ·邻居请求报文 | 第22页 |
| ·邻居通告报文 | 第22-23页 |
| ·重定向报文 | 第23-24页 |
| ·各种选项 | 第24-25页 |
| ·各邻居发现报文中可能包含的选项 | 第25页 |
| ·邻居发现过程的分析 | 第25-35页 |
| ·数据结构 | 第25-26页 |
| ·路由器发现 | 第26-28页 |
| ·地址解析 | 第28-29页 |
| ·邻居不可达检测 | 第29页 |
| ·重复地址检测 | 第29-30页 |
| ·重定向 | 第30-31页 |
| ·下一跳选择 | 第31-32页 |
| ·地址自动配置 | 第32-35页 |
| 第四章 组播侦听者发现协议分析 | 第35-41页 |
| ·协议简介 | 第35页 |
| ·协议报文格式 | 第35-37页 |
| ·组播侦听查询报文 | 第35-36页 |
| ·组播侦听报告报文 | 第36-37页 |
| ·组播侦听已完成报文 | 第37页 |
| ·主机对组播的支持 | 第37-38页 |
| ·路由器对组播的支持 | 第38页 |
| ·协议实现过程描述 | 第38-41页 |
| 第五章 ICMPV6侦听与发送程序设计与实现 | 第41-53页 |
| ·设计目的及思路 | 第41-42页 |
| ·原始套接口 | 第42-43页 |
| ·原始套接口的创建 | 第42页 |
| ·原始套接口接收规则 | 第42-43页 |
| ·原始套接口发送规则 | 第43页 |
| ·相关套接口选项 | 第43-45页 |
| ·数据结构设计 | 第45-48页 |
| ·ICMPv6报文侦听程序设计与实现 | 第48-51页 |
| ·ICMPv6报文发送程序设计与实现 | 第51-53页 |
| 第六章 LINUX实验环境下的ICMPV6相关协议验证 | 第53-82页 |
| ·实验环境建立 | 第53-55页 |
| ·ICMPv6侦听与发送程序的正确性验证 | 第55-66页 |
| ·ICMPv6协议的验证 | 第66-69页 |
| ·无状态地址自动配置协议的验证 | 第69-71页 |
| ·邻居发现协议的验证 | 第71-79页 |
| ·路由器发现 | 第72-74页 |
| ·地址解析 | 第74-75页 |
| ·重复地址检测 | 第75-78页 |
| ·邻居不可达检测 | 第78-79页 |
| ·组播侦听者发现协议的验证 | 第79-82页 |
| 结束语 | 第82-83页 |
| 致谢 | 第83-84页 |
| 参考文献 | 第84-87页 |
| 附录 A 程序文件列表 | 第87-88页 |
| 附录 B 缩略词和专用术语 | 第88-89页 |
| 攻读硕士学位期间发表的论文 | 第89页 |