基于有色Petri网的催化裂化分馏系统信息安全验证  

Security Verification for Fluid Catalytic Cracking Fractionation System Based on Colored Petri Nets

作　　者：滕诗雅 梁旭清 刘璐[1] 周纯杰[1] Teng Shiya

机构地区：[1]华中科技大学人工智能与自动化学院,湖北武汉430074

出　　处：《工业控制计算机》2023年第12期88-91,共4页Industrial Control Computer

摘　　要：催化裂化分馏系统智能化转型的同时也面临更大的信息安全威胁,而信息安全验证聚焦网络攻击下系统的安全性能研究,能降低系统的安全风险。根据系统的安全需求提出一种融合系统理论过程分析和有色Petri网的安全验证分析框架。首先通过系统理论过程分析提取完备的安全约束;然后基于有色Petri网构建逻辑与行为精准的安全验证模型;最后,以简化系统为对象进行安全验证。实验结果证明了所提框架能有效验证安全约束触发行为与系统安全性能之间的潜在关联。With the intelligent transformation of the fluid catalytic cracking fractionation system,it also faces more severe security risks.The security verification focuses on the security performance research of the system under cyber-attacks,which can reduce the security risks of the system.Based on the security requirement of the system,this paper proposes a security verification analysis framework.Firstly,complete security constraints are extracted by the systems theoretic process analysis.Then,a system security verification model based on colored Petri nets is constructed.Finally,the security verification experiments are conducted with the simplified system.The results show that the proposed framework can effectively verify the correlation between the triggering behavior of security constraints and the security performance of the system.

关 键 词：催化裂化分馏系统 信息安全验证 有色PETRI网 

分 类 号：TE96[石油与天然气工程—石油机械设备] TP309[自动化与计算机技术—计算机系统结构] TP301.1[自动化与计算机技术—计算机科学与技术]