典型文献
离散事件系统中的攻击检测和修复
文献摘要：
为研究离散事件系统中的入侵检测,防御和修复问题,采用形式语言与 自动机的方法对一个受到执行器启动攻击的系统进行建模.首先,采用一种诊断器算法对该模型进行分析,判断其在受到攻击后的安全性.之后,基于此提出了一种算法,使系统在受到攻击后不满足安全性时修复系统,使其满足系统安全性的要求.最后,通过一个交通系统验证了该方法的有效性.
文献关键词：
离散事件系统;安全可控性;网络攻击;诊断器
中图分类号：
作者姓名：
闫安;宋运忠
作者机构：
河南理工大学电气工程与自动化学院,河南焦作454000
文献出处：
引用格式：
[1]闫安;宋运忠-.离散事件系统中的攻击检测和修复)[J].复杂系统与复杂性科学,2022(04):99-106
A类：
安全可控性
B类：
离散事件系统,攻击检测,入侵检测,形式语言,自动机,执行器,诊断器,修复系统,系统安全性,交通系统,系统验证,网络攻击
AB值：
0.351476
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
