一種信息物理融合系統(tǒng)防御的形式化檢測方法

基本信息

申請?zhí)?/td> 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 分類 電通信技術(shù);
發(fā)明人 陳會兵; 戴宏偉; 王釗琦; 何卡特; 王婷 申請（專利權(quán)）人 杭州逍邦網(wǎng)絡(luò)科技有限公司
代理機構(gòu) - 代理人 -
地址 310051 浙江省杭州市濱江區(qū)西興街道濱盛路1505號銀豐大廈901、902室
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種信息物理融合系統(tǒng)防御的形式化檢測方法，基于時間自動機的CPS虛假數(shù)據(jù)注入攻擊的檢測和驗證，包括CPS各部分模型的構(gòu)建和CPS安全屬性驗證，根據(jù)CPS通用的分層網(wǎng)絡(luò)安全體系結(jié)構(gòu)，首先對各個層次的組件建模，然后完成虛假數(shù)據(jù)注入攻擊者和自動恢復(fù)機制的建模，最后組成完整系統(tǒng)，從而進行驗證；本發(fā)明的有益效果是：時間自動機是包含時間約束的狀態(tài)機，CPS往往有時間性要求，利用時間自動機對CPS建模及驗證簡單易行；對于CPS行為安全的建模、驗證和分析，能夠有效提高CPS的系統(tǒng)安全。