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