-
题名面向信息物理融合系统的混成攻击图分析方法
- 1
-
-
作者
葛要港
陈鑫恺
徐丙凤
何高峰
-
机构
南京林业大学信息科学技术学院、人工智能学院
南京邮电大学物联网学院
南京航空航天大学高安全系统的软件开发与验证技术工业和信息化部重点实验室
-
出处
《计算机工程与设计》
北大核心
2025年第6期1616-1624,共9页
-
基金
国家自然科学基金面上基金项目(62372240)
江苏省网络与信息安全重点实验室基金项目(BM2003201)
南京航空航天大学科研基地创新(理工类)基金项目(NJ2020022)。
-
文摘
针对信息物理融合系统(CPS)中信息系统与物理系统的复杂互联问题,提出一种混成攻击图模型,实现对CPS攻击的有效建模与分析,支持离散与连续信息共存的攻击建模。在此基础上,提出一种基于模型检测的混成攻击图分析方法,通过模型检测技术,将混成攻击图转化为时间自动机模型,采用度量区间时序逻辑,描述系统对离散与连续信息的安全属性,使用模型检测器进行可满足性验证。通过智能家居系统的案例说明了所提方法的有效性。
-
关键词
信息物理融合系统
模型检测
混成攻击图
形式化方法
时间自动机
度量区间时序逻辑
安全属性
-
Keywords
cyber-physical system
model checking
hybrid attack graphs
formal method
timed automata
metric interval temporal logic
security attributes
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
