面向工控协议的模糊测试方法研究

目录

声明

1 绪论

1.1 研究背景与意义

1.2 国内外研究现状

1.2.1 工控安全研究现状

1.2.2 模糊测试技术研究现状

1.3 项目来源与论文研究内容

1.4 论文组织结构

2 工控协议模糊测试方法相关理论

2.1 工控协议

2.1.1 工控协议简介

2.1.2 Modbus/TCP协议

2.1.3 IEC 60870-5-104 协议

2.2 工控协议安全性分析

2.3 模糊测试技术

2.3.1 模糊测试概述

2.3.2 基于程序反馈的模糊测试技术

2.3.3 基于协议模型的模糊测试技术

2.3.4 现有研究存在的问题

2.4 本章小节

3 基于动态分析的工控协议模糊测试方法

3.1 动态污点分析

3.2 基于动态分析的工控协议模糊测试方法

3.2.1 动态信息

3.2.2 结合动态信息的模糊化算法

3.2.3 测试用例生成算法

3.2.4 实例分析

3.3 实验测试与分析

3.3.1 测试环境

3.3.2 测试过程

3.3.3 测试结果与分析

3.4 本章小节

4 基于文法模型的工控协议模糊测试方法

4.1 协议描述模型

4.2 基于文法的工控协议描述模型

4.2.1 高阶属性文法

4.2.2 面向工控协议的文法描述模型

4.3 基于文法模型的工控协议模糊测试方法

4.3.1 解析树构造算法

4.3.2 实例分析

4.3.3 报文变异策略

4.3.4 测试用例生成算法

4.4 实验测试与分析

4.4.1 测试环境

4.4.2 测试过程

4.4.3 测试结果分析

4.5 本章小节

5 总结与展望

5.1 论文总结

5.2 未来展望

致谢

参考文献

附录