本文涉及工業(yè)互聯(lián)網(wǎng)安全技術(shù),尤指一種工業(yè)控制系統(tǒng)中形式化驗證方法和系統(tǒng)。、工業(yè)控制系統(tǒng)(industrial?control?systems,ics)作為關(guān)鍵基礎(chǔ)設(shè)施的核心組成部分,其安全性至關(guān)重要。隨著工業(yè)互聯(lián)網(wǎng)的發(fā)展,工業(yè)控制系統(tǒng)面臨愈發(fā)嚴峻的網(wǎng)絡(luò)攻擊威脅,這些攻擊可能利用合法的控制指...