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

摘要

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