汽輪機(jī)控制保護(hù)系統(tǒng)攻擊建模與邏輯完整性檢測

摘要： 控制保護(hù)邏輯是整個汽輪機(jī)控制保護(hù)系統(tǒng)的核心，以往傳統(tǒng)模型側(cè)重于描述系統(tǒng)的物理屬性，而對邏輯屬性有所忽視。目前關(guān)于汽輪機(jī)控制保護(hù)系統(tǒng)的攻擊大多圍繞網(wǎng)絡(luò)通信的脆弱性以及模型數(shù)據(jù)的不可靠性展開，對系統(tǒng)本身邏輯過程脆弱性的研究較少。鑒于此，在基于時間自動機(jī)的汽輪機(jī)控制保護(hù)系統(tǒng)模型基礎(chǔ)上，建立活性與汽輪機(jī)控制保護(hù)邏輯的內(nèi)在聯(lián)系。其中，活性指好的事情終會發(fā)生，由此將邏輯完整性問題轉(zhuǎn)換為活性... （共9頁）