今日頭條
官方微信
官方抖音
案例頻道作者：解放軍信息工程大學(xué) 耿洋洋，常天佑，魏強(qiáng)
摘要：可編程邏輯控制器代碼安全是確保工業(yè)控制系統(tǒng)安全運(yùn)行的核心，本文圍繞著可編程邏輯控制器的代碼安全缺陷進(jìn)行分析，首先闡述了工控代碼安全的相關(guān)研究。接著，從可編程邏輯控制器代碼邏輯缺陷、安全需求規(guī)約兩個(gè)方面對(duì)工控代碼缺陷進(jìn)行分類(lèi)，分析了針對(duì)梯形圖語(yǔ)言的3種代碼邏輯缺陷產(chǎn)生的機(jī)理，并結(jié)合梯形邏輯圖，利用PLC代碼邏輯缺陷，實(shí)現(xiàn)拒絕服務(wù)攻擊、中間人攻擊等。最后，本文提出了PLC代碼形式化驗(yàn)證中面臨的困難，并從中間語(yǔ)言翻譯、模型構(gòu)建和模型檢測(cè)三方面綜述了PLC代碼形式化驗(yàn)證的相關(guān)研究。
關(guān)鍵詞：可編程邏輯控制器；工業(yè)控制系統(tǒng)；代碼缺陷分析；形式化驗(yàn)證
在線預(yù)覽：可編程邏輯控制器代碼安全缺陷分析綜述
摘自《自動(dòng)化博覽》2018年2月刊
北京市公安局海淀分局備案號(hào)：11010802023656號(hào)