协议安全测试理论和方法的研究
| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 第一章 绪论 | 第12-22页 |
| ·研究背景 | 第12-13页 |
| ·研究现状 | 第13-18页 |
| ·协议形式化技术 | 第13-15页 |
| ·协议一致性测试 | 第15-16页 |
| ·协议安全测试 | 第16-18页 |
| ·研究目的 | 第18页 |
| ·研究内容 | 第18-19页 |
| ·论文结构 | 第19-22页 |
| 第二章 协议安全测试理论和方法 | 第22-42页 |
| ·协议安全测试的地位 | 第22-23页 |
| ·协议测试的模型化理论 | 第23-31页 |
| ·有限状态机(FSM)模型 | 第24-27页 |
| ·构造类别代数(CSA)模型 | 第27-31页 |
| ·协议一致性测试理论 | 第31-34页 |
| ·一致性测试基本概念 | 第31-32页 |
| ·一致性测试框架 | 第32-34页 |
| ·安全性测试概念和方法 | 第34-40页 |
| ·渗透测试方法 | 第35-36页 |
| ·安全测试当前研究 | 第36-40页 |
| ·本章小结 | 第40-42页 |
| 第三章 协议攻击测试模型和方法的研究 | 第42-80页 |
| ·协议攻击描述模型 | 第42-51页 |
| ·已有的攻击描述 | 第42-43页 |
| ·面向测试的协议攻击描述模型 | 第43-48页 |
| ·描述实例 | 第48-51页 |
| ·协议攻击测试框架和测试者分布 | 第51-59页 |
| ·框架描述 | 第51-52页 |
| ·测试者的协调 | 第52-53页 |
| ·测试者选择算法 | 第53-59页 |
| ·协议攻击测试执行算法 | 第59-71页 |
| ·攻击测试例的组成 | 第59-61页 |
| ·攻击测试例关联性 | 第61-64页 |
| ·环境静态划分算法 | 第64-66页 |
| ·测试集动态执行算法 | 第66-69页 |
| ·算法分析 | 第69-70页 |
| ·实测结果 | 第70-71页 |
| ·被测协议系统安全性度量 | 第71-79页 |
| ·基础模型及其扩展 | 第72-74页 |
| ·基于测试结果的安全度量 | 第74-77页 |
| ·度量实例 | 第77-79页 |
| ·本章小结 | 第79-80页 |
| 第四章 基于构造类别代数的协议安全测试方法 | 第80-108页 |
| ·测试方法概述 | 第80-84页 |
| ·基础形式化模型 | 第80-81页 |
| ·变异测试基本概念 | 第81-82页 |
| ·需要考虑的问题 | 第82-84页 |
| ·对构造类别代数的约束 | 第84-88页 |
| ·类别约束 | 第84-85页 |
| ·函数约束 | 第85-86页 |
| ·约束后的描述实例 | 第86-88页 |
| ·变异算子设计 | 第88-93页 |
| ·项变异算子 | 第90-93页 |
| ·变异公式生成 | 第93-101页 |
| ·变异项生成 | 第93-97页 |
| ·等价变异项的排除 | 第97-98页 |
| ·项包含关系的建立 | 第98-100页 |
| ·变异结果集生成 | 第100-101页 |
| ·测试例生成 | 第101-103页 |
| ·描述变异测试例生成 | 第101-102页 |
| ·项变异测试例生成 | 第102-103页 |
| ·应用示例 | 第103-105页 |
| ·本章小结 | 第105-108页 |
| 第五章 协议安全测试系统的设计和实现 | 第108-120页 |
| ·测试系统的目标 | 第108-109页 |
| ·测试系统结构与实现 | 第109-116页 |
| ·系统体系结构 | 第109-110页 |
| ·系统测试模式 | 第110-111页 |
| ·系统功能 | 第111-116页 |
| ·系统处理流程 | 第116-117页 |
| ·主控中心处理流程 | 第116-117页 |
| ·测试代理处理流程 | 第117页 |
| ·本章小结 | 第117-120页 |
| 第六章结束语 | 第120-124页 |
| ·论文工作总结 | 第120-122页 |
| ·协议攻击测试的模型和方法研究 | 第120-121页 |
| ·基于构造类别代数的安全变异测试方法 | 第121页 |
| ·协议安全测试系统的设计和实现 | 第121-122页 |
| ·进一步的工作 | 第122-124页 |
| 参考文献 | 第124-133页 |
| 致谢 | 第133-134页 |
| 攻读学位期间发表的学术论文与取得的研究成果 | 第134-135页 |
| 攻读学位期间参加的科研工作 | 第135页 |
