首页/ 杭州逍邦网络科技有限公司/ 专利详情

一种信息物理融合系统防御的形式化检测方法

基本信息

申请号 CN201910425240.9 申请日 -
公开（公告）号 CN110062009A 公开（公告）日 2019-07-26
申请公布号 CN110062009A 申请公布日 2019-07-26
分类号 H04L29/06（2006.01）I; H04L12/24（2006.01）I; H04L29/08（2006.01）I 分类 电通信技术;
发明人 陈会兵; 戴宏伟; 王钊琦; 何卡特; 王婷 申请（专利权）人 杭州逍邦网络科技有限公司
代理机构 - 代理人 -
地址 310051 浙江省杭州市滨江区西兴街道滨盛路1505号银丰大厦901、902室
法律状态 -

摘要

摘要 本发明公开了一种信息物理融合系统防御的形式化检测方法，基于时间自动机的CPS虚假数据注入攻击的检测和验证，包括CPS各部分模型的构建和CPS安全属性验证，根据CPS通用的分层网络安全体系结构，首先对各个层次的组件建模，然后完成虚假数据注入攻击者和自动恢复机制的建模，最后组成完整系统，从而进行验证；本发明的有益效果是：时间自动机是包含时间约束的状态机，CPS往往有时间性要求，利用时间自动机对CPS建模及验证简单易行；对于CPS行为安全的建模、验证和分析，能够有效提高CPS的系统安全。