| 摘要 | 第1-4页 |
| ABSTRACT | 第4-7页 |
| 1 绪论 | 第7-11页 |
| ·课题研究背景与意义 | 第7-9页 |
| ·企业网络内部安全 | 第7页 |
| ·IEEE802.1X 协议 | 第7-8页 |
| ·TTCN-3 应用现状 | 第8-9页 |
| ·企业测试项目需求 | 第9-10页 |
| ·论文研究内容以及组织结构 | 第10-11页 |
| 2 802.1 X 接入认证系统基本原理概述 | 第11-20页 |
| ·802.1X 认证系统体系结构 | 第11-12页 |
| ·802.1X 协议的工作机制 | 第12-14页 |
| ·802.1X 协议的端口机制 | 第12-13页 |
| ·802.1X 认证触发方式 | 第13页 |
| ·802.1X 协议重认证、静默功能、握手功能和超时定时器 | 第13-14页 |
| ·802.1X 协议报文格式分析 | 第14-16页 |
| ·EAPOL 帧格式 | 第14-15页 |
| ·EAP 数据包格式 | 第15-16页 |
| ·802.1X 认证流程以及认证方式分析 | 第16-18页 |
| ·本地认证流程 | 第16-18页 |
| ·远程认证流程 | 第18页 |
| ·EAP 中继认证方式 | 第18页 |
| ·EAP 终结认证方式 | 第18页 |
| ·本章小结 | 第18-20页 |
| 3 基于 TTCN-3 的 802.1X 一致性测试方案 | 第20-28页 |
| ·协议一致性测试方法 | 第20-21页 |
| ·TTCN-3 技术特点 | 第21-24页 |
| ·TTCN-3 测试组件体系架构 | 第21-22页 |
| ·TTCN-3 通信机制与模板匹配 | 第22-23页 |
| ·TTCN-3 定时器机制 | 第23页 |
| ·TTCN-3 判决机制 | 第23-24页 |
| ·测试系统框架以及测试组网设计 | 第24-26页 |
| ·测试系统框架 | 第24页 |
| ·系统测试组网 | 第24-26页 |
| ·基于 TTCN-3 的 802.1X 一致性测试难点分析 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 4 基于 TTCN-3 的 802.1X 一致性测试套设计与实现 | 第28-49页 |
| ·一致性测试套设计的思想方法 | 第28-29页 |
| ·测试用例的编写 | 第29-34页 |
| ·报文字段属性值检查测试用例 | 第29-30页 |
| ·定时器功能检查测试用例 | 第30页 |
| ·端口状态机检查测试用例 | 第30-34页 |
| ·测试套的软件设计与实现 | 第34-48页 |
| ·ASN.1 部分的设计与实现 | 第34-36页 |
| ·外部测试服务函数 | 第36-37页 |
| ·TTCN-3 测试模块的设计与实现 | 第37-40页 |
| ·测试例示例设计分析 | 第40-48页 |
| ·本章小结 | 第48-49页 |
| 5 802.1 X 协议一致性测试结果 | 第49-59页 |
| ·测试编译运行环境 | 第49-50页 |
| ·报文字段属性值检查测试结果 | 第50-51页 |
| ·定时器功能检查测试例示例结果 | 第51-53页 |
| ·认证端口状态机转移检查测试例示例结果 | 第53-54页 |
| ·测试套测试总结果和问题分析 | 第54-58页 |
| ·本章小结 | 第58-59页 |
| 6 总结展望 | 第59-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-63页 |
