一种模型驱动的工业控制系统安全防护方法
实质审查的生效
摘要
本发明公开了一种模型驱动的工业控制系统安全防护方法，涉及工业控制系统安全技术领域，包括S100、系统抽象；S200、环境假设；S300、安全特性抽象；S400、形式化模型构建；S500、形式化规约构建，S600、受到攻击的形式化模型构建；S700、攻击序列生成；S800、安全弹性监控器设计和部署。本发明对物理过程进行形式化建模，基于模型对异常状态进行检测，设计的安全弹性监控器从逻辑层面对工控系统进行防护，阻止了攻击或者减轻攻击对工控系统的影响，降低了计算复杂度，提升了工控系统的实时性，易于部署，显著提升了工控系统的安全性。
基本信息
专利标题 ：
一种模型驱动的工业控制系统安全防护方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114489025A
申请号 ：
CN202210131933.9
公开（公告）日 ：
2022-05-13
申请日 ：
2022-02-14
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
黄佳还约辉王宏武杨根科
申请人 ：
上海交通大学宁波人工智能研究院
申请人地址 ：
浙江省宁波市南门街道南站西路29号
代理机构 ：
上海剑秋知识产权代理有限公司
代理人 ：
徐浩俊
优先权 ：
CN202210131933.9
主分类号 ：
G05B23/02
IPC分类号 ：
G05B23/02
IPC结构图谱
G
G部——物理
G05
控制；调节
G05B
一般的控制或调节系统；这种系统的功能单元；用于这种系统或单元的监视或测试装置
G05B23/02
•电检验式监视
法律状态
2022-05-31 ：
实质审查的生效
IPC(主分类) : G05B 23/02
申请日 : 20220214
申请日 : 20220214
2022-05-13 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
