基于状态验证的PLC程序恶意行为检测方法研究
| 研究生学位论文自评表 | 第2-4页 |
| 学位论文创新点与发表学术论文对应情况表 | 第4-7页 |
| 摘要 | 第7-8页 |
| ABSTRACT | 第8-9页 |
| 第一章 绪论 | 第14-22页 |
| 1.1 研究背景 | 第14-15页 |
| 1.2 研究现状 | 第15-18页 |
| 1.2.1 PLC程序模型构建 | 第16页 |
| 1.2.2 模型检测技术 | 第16-17页 |
| 1.2.3 当前研究存在的不足 | 第17-18页 |
| 1.3 本文的主要工作 | 第18-20页 |
| 1.3.1 本文的研究目标 | 第18页 |
| 1.3.2 本文的研究内容 | 第18-19页 |
| 1.3.3 本文的技术路线 | 第19-20页 |
| 1.3.4 本文的研究成果 | 第20页 |
| 1.4 论文的组织结构 | 第20-22页 |
| 第二章 程序模型构建方法 | 第22-34页 |
| 2.1 二进制字节码程序反汇编 | 第22-23页 |
| 2.1.1 二进制字节码程序结构 | 第22-23页 |
| 2.1.2 字节码程序反汇编 | 第23页 |
| 2.2 程序控制流图构建 | 第23-29页 |
| 2.2.1 程序控制流分析 | 第23-26页 |
| 2.2.2 程序控制流图优化 | 第26-27页 |
| 2.2.3 计时器分析 | 第27-29页 |
| 2.3 程序可执行路径生成 | 第29-31页 |
| 2.3.1 控制流图遍历 | 第29-30页 |
| 2.3.2 循环路径分析 | 第30-31页 |
| 2.3.3 获得路径谓词及输入输出之间的映射关系 | 第31页 |
| 2.4 本章小结 | 第31-34页 |
| 第三章 PLC程序状态生成 | 第34-42页 |
| 3.1 状态空间爆炸问题 | 第34-35页 |
| 3.2 状态空间爆炸缓解方法 | 第35-36页 |
| 3.3 状态生成过程中计时器分析 | 第36-40页 |
| 3.4 本章小结 | 第40-42页 |
| 第四章 基于状态验证的安全规约检测 | 第42-52页 |
| 4.1 安全状态规约描述 | 第42-43页 |
| 4.2 安全规约检测 | 第43-44页 |
| 4.3 违反安全规约的输入向量序列 | 第44-50页 |
| 4.4 本章小结 | 第50-52页 |
| 第五章 实验测试分析和评估 | 第52-64页 |
| 5.1 实验平台搭建 | 第52页 |
| 5.2 性能测试实验分析 | 第52-55页 |
| 5.3 特性检测对比实验分析 | 第55-56页 |
| 5.4 状态空间爆炸缓解对比实验分析 | 第56-62页 |
| 5.5 本章小结 | 第62-64页 |
| 第六章 总结与展望 | 第64-66页 |
| 6.1 工作总结 | 第64-65页 |
| 6.2 下一步工作展望 | 第65-66页 |
| 参考文献 | 第66-70页 |
| 作者简历 | 第70-72页 |
| 致谢 | 第72页 |
