一種信息物理融合系統(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ā)明人 陳會(huì)兵; 戴宏偉; 王釗琦; 何卡特; 王婷 申請（專利權(quán)）人 杭州逍邦網(wǎng)絡(luò)科技有限公司
代理機(jī)構(gòu) - 代理人 -
地址 310051 浙江省杭州市濱江區(qū)西興街道濱盛路1505號銀豐大廈901、902室
法律狀態(tài) -

摘要

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