论文部分内容阅读
工业控制系统承担着关键基础设施的数据采集和监视控制任务,其存在的脆弱性可以破坏所控制的关键基础设施。针对工业控制协议实现,本文提出了一种用于检测其内存访问脆弱性的方法。首先,形式化定义了工业控制协议实现的内存污染模型。在此基础上,提出了基于污染模型的内存访问脆弱性检测算法。最后,通过脆弱性分析实验,验证了模型和算法的有效性。