工业控制协议实现中内存访问脆弱性动态分析技术研究

摘要：

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

关键词： 工业控制协议 内存访问 脆弱性检测 动态分析

作者: 王春雷 方兰 戴一奇

作者单位: 清华大学计算机科学与技术系,北京 100084 北京系统工程研究所网络技术研究室,北京 100101 北京系统工程研究所网络技术研究室,北京 100101 清华大学计算机科学与技术系,北京 100084

会议类型: 国内会议

会议名称: 第二届信息安全漏洞分析与风险评估大会

会议地点: 北京

会议语种:中文

页码: 82-90

在线出版日期: 2009-12-01（万方平台首次上网日期，不代表论文的发表时间）