一种模型驱动的工业控制系统安全防护方法
基本信息
| 申请号 | CN202210131933.9 | 申请日 | - |
| 公开（公告）号 | CN114489025A | 公开（公告）日 | 2022-05-13 |
| 申请公布号 | CN114489025A | 申请公布日 | 2022-05-13 |
| 分类号 | G05B23/02（2006.01）I | 分类 | 控制；调节; |
| 发明人 | 黄佳;还约辉;王宏武;杨根科 | 申请（专利权）人 | 上海交通大学宁波人工智能研究院 |
| 代理机构 | 上海剑秋知识产权代理有限公司 | 代理人 | - |
| 地址 | 315012浙江省宁波市南门街道南站西路29号 | ||
| 法律状态 | - | ||
摘要
| 摘要 | 本发明公开了一种模型驱动的工业控制系统安全防护方法，涉及工业控制系统安全技术领域，包括S100、系统抽象；S200、环境假设；S300、安全特性抽象；S400、形式化模型构建；S500、形式化规约构建，S600、受到攻击的形式化模型构建；S700、攻击序列生成；S800、安全弹性监控器设计和部署。本发明对物理过程进行形式化建模，基于模型对异常状态进行检测，设计的安全弹性监控器从逻辑层面对工控系统进行防护，阻止了攻击或者减轻攻击对工控系统的影响，降低了计算复杂度，提升了工控系统的实时性，易于部署，显著提升了工控系统的安全性。 |
