| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-11页 |
| 1.1 IPSec 协议一致性测试概述 | 第8页 |
| 1.2 IPSec 协议一致性测试技术在国内外的研究现状 | 第8-9页 |
| 1.3 论文的研究内容及结构安排 | 第9-11页 |
| 第二章 无线传感网络及协议一致性测试 | 第11-21页 |
| 2.1 无线传感网络 | 第11-13页 |
| 2.1.1 无线传感网络的组成结构 | 第11-12页 |
| 2.1.2 无线传感器网络的特点 | 第12-13页 |
| 2.2 一致性测试要求 | 第13页 |
| 2.3 一致性测试过程 | 第13-14页 |
| 2.4 一致性抽象测试方法 | 第14-17页 |
| 2.5 协议描述及测试集生成方法研究 | 第17-20页 |
| 2.5.1 协议的形式化描述方法 | 第18-19页 |
| 2.5.2 抽象测试集的生成方法 | 第19-20页 |
| 2.6 本章小结 | 第20-21页 |
| 第三章 轻量级 IPSec 协议及一致性测试研究 | 第21-35页 |
| 3.1 IPSec 协议分析 | 第21-23页 |
| 3.1.1 IPSec 体系结构 | 第21页 |
| 3.1.2 AH 协议和 ESP 协议 | 第21-22页 |
| 3.1.3 IKE 协议 | 第22页 |
| 3.1.4 安全关联（SA） | 第22-23页 |
| 3.2 轻量级 IPSec 协议——IPSec 协议报文头的压缩 | 第23-26页 |
| 3.3 IKE 主模式形式化描述 | 第26-31页 |
| 3.3.1 基于 FSM 的一致性测试方法 | 第26-27页 |
| 3.3.2 IKE 主模式分析 | 第27-28页 |
| 3.3.3 形式化描述模型确定 | 第28-31页 |
| 3.4 采用基于 U 方法生成 IKE 主模式一致性测试序列 | 第31-33页 |
| 3.4.1 UIO 序列的生成 | 第31-32页 |
| 3.4.2 测试序列的生成算法 | 第32-33页 |
| 3.5 本章小结 | 第33-35页 |
| 第四章 IPSec 中 AH 协议一致性测试研究 | 第35-47页 |
| 4.1 等价类划分法 | 第35页 |
| 4.2 IPSec 协议测试集规划 | 第35-37页 |
| 4.3 IPSec 测试数据命名及编码规则 | 第37-38页 |
| 4.4 AH 协议一致性测试 GTS 规划 | 第38-44页 |
| 4.4.1 AH 基本报文格式测试组规划 | 第38-39页 |
| 4.4.2 AH 功能测试组规划 | 第39-43页 |
| 4.4.3 AH 认证算法测试组规划 | 第43-44页 |
| 4.5 AH 协议一致性测试 ATS 规划 | 第44-46页 |
| 4.5.1 测试环境与测试流程 | 第44-45页 |
| 4.5.2 测试结果判断与分析 | 第45页 |
| 4.5.3 AH 一致性测试 ATS 信息描述 | 第45-46页 |
| 4.6 本章小结 | 第46-47页 |
| 第五章 AH 协议测试集研究 | 第47-57页 |
| 5.1 AH 协议抽象测试集描述 | 第47-55页 |
| 5.1.1 数据类型定义 | 第47-50页 |
| 5.1.2 测试数据定义 | 第50-53页 |
| 5.1.3 测试配置定义 | 第53页 |
| 5.1.4 测试行为定义 | 第53-54页 |
| 5.1.5 测试控制定义 | 第54-55页 |
| 5.2 协议一致性测试报告分析 | 第55-56页 |
| 5.3 协议一致性测试集的维护 | 第56页 |
| 5.4 本章小结 | 第56-57页 |
| 第六章 总结与展望 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 致谢 | 第60页 |
