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