离散事件系统中的攻击检测和修复

为研究离散事件系统中的入侵检测，防御和修复问题，采用形式语言与自动机的方法对一个受到执行器启动攻击的系统进行建模。首先，采用一种诊断器算法对该模型进行分析，判断其在受到攻击后的安全性。之后，基于此提出了一种算法，使系统在受到攻击后不满足安全性时修复系统，使其满足系统安全性的要求。最后，通过一个交通系统验证了该方法的有效性。