基于模型檢驗(yàn)的信息物理融合系統(tǒng)安全性研究.pdf

1、信息物理融合系統(tǒng)是一個綜合計(jì)算、網(wǎng)絡(luò)和物理環(huán)境的多維復(fù)雜系統(tǒng)，廣泛應(yīng)用于智能電網(wǎng)、交通控制等領(lǐng)域。在信息物理融合系統(tǒng)信息處理過程中，系統(tǒng)需要可信、可靠、可控，但信息物理融合系統(tǒng)的復(fù)雜結(jié)構(gòu)以及系統(tǒng)各組件間的協(xié)調(diào)不足使其安全性面臨很大的挑戰(zhàn)。因此，保證信息物理融合系統(tǒng)安全性是非常重要的。但是，當(dāng)前對于信息物理融合系統(tǒng)安全性的研究沒有形成一種通用的、統(tǒng)一的驗(yàn)證方法，存在著方法不夠全面、驗(yàn)證過程不夠規(guī)范等問題?；诖?，本文提出一種信息物理融合系

2、統(tǒng)安全性驗(yàn)證方法，對信息物理融合系統(tǒng)安全性進(jìn)行驗(yàn)證，提高信息物理融合系統(tǒng)系統(tǒng)安全性。
　　本文首先提出一種利用模型檢驗(yàn)技術(shù)構(gòu)建信息物理融合系統(tǒng)安全性研究模型的方法，在構(gòu)建模型時，將物理系統(tǒng)與網(wǎng)絡(luò)系統(tǒng)的行為及相互作用通過信息流來衡量，形成統(tǒng)一定義的信息物理融合系統(tǒng)信息流；然后針對基于模型檢驗(yàn)的信息物理融合系統(tǒng)模型，提出了對信息物理融合系統(tǒng)安全性進(jìn)行驗(yàn)證的方法，利用提出的方法對信息物理融合系統(tǒng)進(jìn)行驗(yàn)證和分析；最后，基于所提出的安全研究