基于时间自动机的工控系统网络安全研究

摘要：

针对工业控制系统的SCADA系统进行安全性形式化分析与验证,以机场供油SCADA系统为例,利用时间自动机理论对控制系统网络进行时间自动机建模,结合几种常见的主动攻击方式构建了针对SCADA系统的攻击模型与防御措施模型,利用UPPAAL当中的检验器对系统在无攻击环境下、遭到攻击环境下和采取防御措施环境下进行安全性验证.结果表明常见的网络攻击对系统的可用性、完整性造成影响,引人防御措施之后系统的安全属性增强,系统的可用性、完整性满足安全需求.

关键词：工业控制系统、形式化分析、时间自动机、安全属性

所属期刊栏目：40

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家自然科学基金;安全能力建设资金项目;安全能力建设资金项目;安全能力建设资金项目;中央高校基本科研业务费项目;中央高校基本科研业务费项目

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

页数：共7页

页码：326-332