-
题名汽轮机控制保护系统攻击建模与逻辑完整性检测
- 1
-
-
作者
马海迎
李奕彤
袁晓舒
何立栋
-
机构
南京理工大学自动化学院
东方电气能源装备工控网络安全工程实验室
-
出处
《控制工程》
CSCD
北大核心
2024年第11期2062-2070,共9页
-
基金
国家自然科学基金资助项目(61973163)
东方电气集团科研项目(GKKY21001)。
-
文摘
控制保护逻辑是整个汽轮机控制保护系统的核心,以往传统模型侧重于描述系统的物理属性,而对逻辑属性有所忽视。目前关于汽轮机控制保护系统的攻击大多围绕网络通信的脆弱性以及模型数据的不可靠性展开,对系统本身逻辑过程脆弱性的研究较少。鉴于此,在基于时间自动机的汽轮机控制保护系统模型基础上,建立活性与汽轮机控制保护逻辑的内在联系。其中,活性指好的事情终会发生,由此将逻辑完整性问题转换为活性完整性问题。并且针对汽轮机控制保护逻辑提出窜改控制指令参数和传感器监测阈值的攻击方式。此外,还提出了状态检测法和变量检测法,用于检测汽轮机控制保护系统逻辑完整性是否被破坏。最后,利用UPPAAL软件对遭受攻击前后的系统进行仿真验证。
-
关键词
汽轮机控制保护逻辑
形式化方法
活性
UPPAAL
-
Keywords
Steam turbine control protection logic
formal method
liveness
UPPAAL
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
