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