色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

PLC代碼利用相關研究,PLC代碼缺陷分類

1bGT_GKYXT1508 ? 來源:未知 ? 作者:李倩 ? 2018-04-03 16:35 ? 次閱讀

本文主要觀點

1、PLC代碼利用相關研究

2、PLC代碼缺陷分類:PLC代碼邏輯缺陷、PLC代碼安全需求規約

3、PLC代碼形式化分析與驗證:PLC形式化分析中面臨的困難、PLC代碼形式化分析

隨著工業控制系統由封閉走向互聯,大量的控制器配備了以太網通信組件,使得攻擊者可以直接訪問PLC硬件及其編程軟件。但PLC邏輯控制層缺少認證和監測等保護措施,PLC代碼的安全缺陷成為工業控制系統的重要安全威脅之一。

第一部分 PLC代碼利用相關研究

與傳統的編程語言一樣,PLC存在代碼安全缺陷,而這些代碼安全缺陷為攻擊者攻擊工業控制系統留下了后門。

2013年South Carolina大學的Sidney對PLC代碼設計安全缺陷進行了深入的研究,并把PLC代碼設計級缺陷主要分為基于硬件缺陷和基于軟件缺陷兩種。攻擊者可以利用PLC代碼缺陷破壞代碼邏輯,進行中間代碼插樁,實現任意代碼執行等。

2014年北京科技大學李偉澤等提出和分析了一種針對SCADA系統的新型的網絡物理攻擊——偽邏輯攻擊。

2015年在blackhat-US會議上Klick等在西門子S7-300中注入了一種新型的后門,通過注入工具實現了在S7-300上進行SNMP掃描SOCK5代理功能。作者利用PLC程序中存在跳轉指令的安全缺陷,成功在主程序OB1前嵌入惡意指令從而可以控制PLC的啟停以及輸出寄存器

2016年11月在blackhat歐洲會議上Ali Abbasi等實現了對PLC輸入/輸出接口的新攻擊,該攻擊通過篡改輸出輸入引腳改變系統的運行邏輯。

2017年3月,來自印度海德拉巴和新加坡的學者,演示了針對工業控制系統的PLC梯形圖邏輯炸彈(Ladder Logic Bombs,LLB)。該邏輯炸彈是用梯形圖語言編寫的惡意軟件,這種惡意軟件可被攻擊者注入到PLC現有控制邏輯中,通過改變控制動作或者等待特定的觸發信號來激活惡意行為,以實現傳感器數據篡改,系統敏感信息獲取以及PLC拒絕服務攻擊等。

第二部分 PLC代碼缺陷分類

不同于傳統的IT系統,工業控制系統有其特殊的編程語言,根據國際電工委員會制定的工業控制編程語言標準(IEC61131-3),PLC的編程語言包括以下五種:梯形圖語言(LadderLogic Programming Language,LD)、指令表語言(Instruction List,IL)、功能模塊圖語言(Function Block Diagram,FBD)、順序功能流程圖語言(Sequential function chart,SFC)及結構化文本語言(Structured text,ST)。本文中的代碼缺陷研究也是基于上述編程語言展開的。

工業控制系統的入侵與傳統互聯網入侵雖然手段上大同小異,但工業控制系統的部署與其物理工藝流程緊耦合,因此利用工藝流程中的代碼邏輯缺陷成為針對工業控制系統的有效打擊手段之一,如陷阱門、邏輯炸彈、特洛伊木馬、蠕蟲、Zombie等,且這類新的惡意代碼具有更強的傳播能力和破壞性。本文主要研究基于軟件的PLC代碼缺陷,并從代碼邏輯缺陷和違反安全需求規約兩個方面對PLC代碼缺陷進行分類研究。

(一)PLC代碼邏輯缺陷

PLC代碼邏輯缺陷具有隱蔽性強的特性,難以發現,可以潛伏多年,傳統的安全防御思路無法解決這方面問題。在工業控制系統中,一次開關動作不執行,工藝執行流程的改變以及特定的輸出響應故障都可能造成毀滅性的破壞。

本文以梯形圖語言為例分析PLC代碼邏輯缺陷,梯形圖語言形象直觀,與繼電器的控制電路的表達方式極為相似。梯形圖由觸點、線圈等圖形符號結合數字指令、算術運算指令、控制指令等指令符號構成,PLC代碼邏輯缺陷也是由這些元素和組件位置放置不恰當、鏈接和范圍不正確引起的。表1給出了PLC代碼邏輯缺陷分類及其相關描述。

表1 PLC代碼邏輯缺陷分類表

通過利用表1中列舉的PLC代碼邏輯缺陷,可實現拒絕服務攻擊,中間人攻擊、改變控制器正常的工作流程等,對工業控制系統造成難以估量的損失。下面給出幾個PLC代碼缺陷分析和利用。

(1)計時器條件競爭缺陷

PLC編程中的計時器可通過設置預設時間觸發計時器。定時器完成位元件的不正確放置可能導致涉及定時器完成位的過程和定時器本身進入競爭條件。當定時器完成位成為激活其自身觸發機制的必需元素時,發生這種競爭條件使得定時器陷入死循環并使定時器復位。

如圖1所示,把計時器的預設值設為0,使得定時器觸發位和定時器同時打開,造成計時器持續振蕩,使得輸出O4.1無法被觸發,致使程序流程順序錯誤或進程無法關閉等故障,實現拒絕服務攻擊。

圖1 計時器條件競爭缺陷梯形圖

(2)比較函數硬編碼缺陷

PLC邏輯代碼中的數字指令包含比較指令,該比較指令如果編碼不正確可能會導致安全隱患,使得惡意用戶可以通過比較指令將不正確的數據插入到進程中。這些數據可能會導致進程序列發生變化,或者導致進程完全中止。

如圖2所示,假設常開觸點I0.1可以觸發高壓鍋爐的初始化,常開觸點后連接一個比較函數,O4.1控制高壓鍋爐的關閉進程。直到A的值大于等于B的值時,O4.1被激活,鍋爐停止加熱。如果比較元素B不參考符號表中的數值而是使用定值進行硬編碼,B中的數據是不受保護的,我們通過提高B的溫度值,使得高壓鍋爐不斷加熱直到設備損壞甚至發生爆炸。

圖2 比較函數缺陷梯形圖

(3)跳轉和鏈接缺陷

跳轉和鏈接缺陷是由一些可影響程序執行順序的跳轉指令和邏輯塊指令的錯誤的跳轉到某個程序段而引起。這種類型的代碼缺陷類似于中間人攻擊,攻擊者可以利用錯誤的跳轉指令跳轉到一個非預期的位置,并且把在非預期的位置插入惡意的程序段,再返回到跳轉之前的位置。

圖3給出了基于跳轉和鏈接缺陷的代碼利用方法,我們可以利用跳轉到子程序JSR函數從File1跳轉到惡意代碼文件File3中,引入惡意的子程序再返回到JSR跳轉之前位置,完成惡意代碼的插入,實現中間人攻擊。

圖3 跳轉和鏈接缺陷圖

(二)PLC代碼安全需求規約

除了PLC代碼邏輯缺陷,PLC代碼在物理現場的安全需求屬性也將決定PLC缺陷利用的成功與否。安全需求屬性是由工業控制現場的安全要求決定,指的是為了保證工業控制系統的安全,對設備狀態、時序、時間、輸入輸出量等的約束。如一個電機的額定轉速不超過2000rpm以及交叉路口的綠燈不能同時點亮等約束條件。在代碼中可能由于程序員的疏忽導致違反安全需求屬性的情況,就需要對其進行檢測。可見安全需求屬性不是常量,而需要實際用戶進行描述并輸入到檢測器中。Pavlovic等對PLC的設備狀態、時序、時間、輸入輸出量等安全需求進行了約束。本文將安全需求總結為分為以下五類,如表2所示。

表2 PLC代碼安全需求規約表

第三部分 PLC代碼形式化分析與驗證

PLC代碼采用“順序掃描,不斷循環”的工作方式,典型的PLC的工作過程包括三個不同階段:把輸入數據讀入存儲器、處理存儲器中的數據和更新輸出數據。PLC程序僅包含有限的狀態集合和有限的變量,且程序內部不包含循環,安全需求依賴于輸出變量等,所以在一定程度上形式化驗證技術適用于PLC程序安全分析和惡意代碼檢測。

形式化分析分為定理證明和模型檢測兩種方法,定理證明過程過于復雜和冗繁,實際中利用定理證明來驗證PLC程序正確性的研究并未得到認可。模型檢測是一種廣泛使用的形式化方法,他更適合用于PLC代碼的驗證,相比于傳統的計算機程序,對低級的PLC程序建模會更容易,因為他的狀態轉換系統相對簡單。

(一)PLC形式化分析中面臨的困難

(1)PLC缺乏高級編程語言

PLC編程屬于低級編程語言且編程語言眾多,語法語義晦澀,采用分層尋址,地址尋址復雜,存在隱式的類型數據,建模難度大,語言屬性易丟失。

(2)時間建模缺失

工業控制系統的實時性要求很高,因此對時間進行建模極為重要,時間建模的對象應包括定時器的累積時間、單條指令的運行時間和執行周期時間,由于定時器是跨循環周期的全局變量,建模時將時間考慮在內會極大地提高建模的難度并增加檢測的時間,但不考慮時間就無法檢測出與時間相關的安全規約。

(3)物理環境建模缺失

工控系統與物理環境關系密切,工業控制器的輸入一般可以認為是物理環境的輸出,輸出一般可以認為是物理環境的輸入,構成一個閉環回路,不考慮物理環境就無法精確地模擬出工業控制器的行為。

(4)狀態空間爆炸

PLC代碼包含的變量多,狀態空間大,對PLC代碼進行建模分析是建立在狀態轉化基礎上的,如果直接進行模型檢測會造成狀態空間爆炸的問題。

(二)PLC代碼形式化分析

PLC代碼形式化驗證旨在檢測出PLC代碼缺陷,防止惡意代碼的入侵。目前通過形式化驗證方式發現PLC代碼缺陷的研究主要集中于對PLC代碼形式化模型構建、PLC代碼缺陷及安全需求規約描述以及PLC代碼模型檢測技術的研究,如圖4所示。

(三)PLC控制代碼檢測的技術路線

(1)中間語言翻譯

由于工業控制器支持多種標準編程語言,且語法語義上都有較大差異,現有的模型檢測技術大都基于特定的編程語言,為了降低建模的復雜性,我們需要把PLC編程語言轉化成模型檢測器可以處理的中間語言。

Darvas等提出了將PLC程序的SCL語言轉化為基于NuSMV的中間模型方法,它是一種接近于自動機模型的中間模型。McLaughlin等給出了將PLC的指令表IL語言代碼翻譯為基于Vine的中間語言ILIL的方法。Zonouz等通過反編譯的方法將MC7code轉化為中間語言ILIL,該中間語言ILIL同樣使用BitBlaze二進制分析工具Vine插件來描述。

(2)時間模型構建

工業控制系統的實時性要求很高,因此時間是很重要的建模對象。延時寄存器(On-Delay Timer,TON)用于確保PLC中實時性屬性,TON指令為PLC的輸入信號提供延遲機制。對TON計時器建模會極大地提高建模的難度并增加檢測的時間,但不考慮時間就無法檢測出與時間相關的安全規約。因此對TON計時器的形式化驗證成為PLC代碼形式化驗證的瓶頸之一。

近年來也有一些對TON計時器的建模研究,Masder等最早開始這方面的研究,他們將IL程序轉換為時間自動機模型并使用自動機和Prometa模型兩種方式對計時器建模。Willems使用時間自動機對TON模型建模計來解決關于TON的問題。Wan等在定理證明器Coq中針對梯形圖語言對TON計時器進行形式化驗證,但沒有給出通用模塊的PLC程序形式化描述。Sidi在定理證明器Coq中針對指令表語言對TON計時器進行形式化驗證。

(3)模型檢測技術

模型檢測是一種廣泛使用的自動化驗證技術,選擇合適的模型來驗證系統,并且通過系統地探測建模來檢查所要驗證的所需屬性。由于模型檢測可以自動執行,并能在系統不滿足性質時提供反例路徑,因此在工業界比演繹證明更受推崇。模型檢測在PLC系統安全的驗證方面特別有用,因為與傳統的計算機編程相比,可以更容易地將低級PLC代碼建模為狀態轉換系統。

目前研究中用到的模型檢測工具有很多, 如SMV、UPPAAL、SPIN等。Yoo等使用Verilog模型和CadenceSMV模型對核電站控制系統的PLC代碼進行模型檢查。McLaughlin等開發了一個TSV

(Trusted Safety Verifier)工具,該工具是利用TEG(Temporal Execution Graph)圖來進行模型檢測,在原始的IL代碼對輸出變量賦值再轉換到ILII中間語言,依據被給的安全需求,TSV使用生成的TEG圖來決定具體的原子命題值。Zonouz等同樣利用TEG圖的方法進行模型檢測,先對線性時序邏輯規范公式進行取反接著得到TEG-UR圖模型P,然后在模型M中搜尋滿足的路徑,最后,如果在第三步中不存在任何路徑,則可認為原始代碼滿足安全需求,能夠安全地執行。如果存在路徑,則可以通過違反約束的路徑條件得到相應的反例。

實際開發的PLC程序包含的多個變量和狀態空間,執行路徑較復雜。會遇到狀態空間爆炸的問題。解決狀態空間爆炸問題最有效的方法是符號執行,McLaughlin等提出一種合并具有相同輸出的輸入來避免等價狀態生成的狀態聚合方法。Guo等提出了一種用于自動測試PLC編程語言符號執行工具SymPLC。SymPLC將PLC源代碼作為輸入,并在應用符號執行之前將其轉換為C語言,以系統的生成測試輸入來覆蓋每個周期任務中的所有路徑。為此,他們提出了一些PLC特定縮減技術,用于識別和消除冗余。

在工業控制系統中,一個微小的代碼缺陷可能影響到整個工業流程遭受破壞甚至威脅到生命財產安全。本文圍繞著工業控制系統控制代碼安全展開研究,從PLC代碼邏輯缺陷、代碼安全需求規約兩個方面對工控代碼缺陷進行分類,并結合了現實中常見的梯形圖邏輯缺陷構造了代碼利用場景,基于這些代碼邏輯缺陷實現了對工業控制系統的拒絕服務攻擊,中間人攻擊等。PLC代碼形式化驗證是發現PLC代碼缺陷的一種重要且有效的方法,文章最后圍繞著如何實現,簡要從中間語言翻譯,時間模型構建和模型檢測技術三個方面闡述了PLC代碼形式化驗證的技術路線及研究進展。

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • plc
    plc
    +關注

    關注

    5010

    文章

    13283

    瀏覽量

    463200
  • 編程語言
    +關注

    關注

    10

    文章

    1944

    瀏覽量

    34721
  • 代碼
    +關注

    關注

    30

    文章

    4786

    瀏覽量

    68549

原文標題:PLC也會中病毒?你不能不知的真相!

文章出處:【微信號:GKYXT1508,微信公眾號:工控云學堂】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦

    PLC編程代碼

    PLC編程代碼-PLC程序設計公司恒壓供水控制系統的編程本程序用富士專用的FLEX PLC編程器編譯,利用梯形圖清晰直觀地展示各設備的運轉狀
    發表于 09-09 08:37

    軟件代碼缺陷分類及其應用

    分析現有軟件缺陷分類方法,基于對航空型號軟件實施代碼審查的實際經驗,提出較完善的代碼缺陷分類,將
    發表于 03-31 10:16 ?8次下載

    基于和利時的PLC的螺絲機代碼

    三菱PLC(可編程邏輯控制器)編程實例項目例程——基于和利時的PLC的螺絲機代碼,主要將螺絲從氣缸引入機械臂,再由機械臂進行擰螺絲
    發表于 11-08 17:32 ?11次下載

    PLC螺絲機的xy軸上運行的代碼(基于和利時的PLC

    三菱PLC(可編程邏輯控制器)編程實例項目例程——PLC螺絲機的xy軸上運行的代碼(基于和利時的PLC
    發表于 11-08 16:03 ?23次下載

    Matlab代碼PLC控制系統中的實現方法研究_孫立平

    Matlab代碼PLC控制系統中的實現方法研究_孫立平
    發表于 03-19 11:27 ?1次下載

    plc編程源代碼分享

    ,控制各種類型的機械或生產過程。可編程序控制器及其有關設備,都應按易于使工業控制系統形成一個整體,易于擴充其功能的原則設計。PLC程序代碼如下。
    發表于 10-19 17:10 ?1.6w次閱讀

    ABB生產的部分PLC網關存在嚴重缺陷

    Applied Risk研究人員發現工業技術公司ABB生產的部分PLC網關存在嚴重缺陷
    的頭像 發表于 12-21 11:10 ?3563次閱讀

    如何實現嵌入式軟PLC系統的研究與應用

    嵌入式軟PLC硬件設計平臺和軟件設計平臺,利用梯形圖,硬件接口映射及模塊化設計技術開發面向工業控制嵌入式軟PLC系統。軟PLC系統由開發系統和運行系統組成,其中開發系統將程序翻譯成目標
    發表于 06-16 17:40 ?18次下載
    如何實現嵌入式軟<b class='flag-5'>PLC</b>系統的<b class='flag-5'>研究</b>與應用

    G.711附錄I,帶PLC的語音編解碼器-下載產品代碼

    G.711附錄I,帶PLC的語音編解碼器-下載產品代碼
    發表于 03-23 13:43 ?7次下載
    G.711附錄I,帶<b class='flag-5'>PLC</b>的語音編解碼器-下載產品<b class='flag-5'>代碼</b>

    PLC系統的硬件、組態和編程的故障分類和診斷方法

    PLC進入故障模式時,它將故障LED打開,并將所有的輸出關閉為OFF(或者凍結在它們的上一個狀態),PLC也會在內存中保存一個故障代碼,編程人員可以讀取該故障代碼確定故障的原因,解決
    發表于 03-24 10:54 ?2675次閱讀

    PLC有如何分類

    可編程邏輯控制器種類繁多,在功能、存儲容量、控制規模、外觀等方面差異很大。因此,PLC分類并沒有嚴格統一的標準,而是按照I/O點總數、組成結構、功能進行粗略分類。 1.按總輸入/輸出點分類
    發表于 12-24 15:51 ?2.4w次閱讀

    PLC短信報警巨控GRM530模塊安裝接線圖及代碼解說

    PLC短信報警巨控GRM530模塊安裝接線圖及代碼解說
    的頭像 發表于 04-26 08:58 ?3896次閱讀
    <b class='flag-5'>PLC</b>短信報警巨控GRM530模塊安裝接線圖及<b class='flag-5'>代碼</b>解說

    PLC概述之五:PLC分類

    PLC(可編程邏輯控制器)可以根據其功能、結構、應用領域和IO點容量等方面進行分類,常見的分類方式包括以下幾種
    的頭像 發表于 06-13 14:12 ?5877次閱讀

    PLC總線的分類方式

    、高效傳輸。隨著工業自動化技術的不斷發展,PLC總線也逐漸呈現出多樣化的分類,以適應不同應用場景的需求。本文將詳細介紹PLC總線的分類方式,并結合實際案例和數據進行深入分析。
    的頭像 發表于 06-13 17:48 ?1107次閱讀

    PLC分類及其特點

    、過程控制、自動化系統中發揮著舉足輕重的作用。PLC分類方式多種多樣,本文主要從結構形式、控制規模及功能三個方面對PLC進行分類,并詳細探討各類P
    的頭像 發表于 06-25 14:28 ?2087次閱讀
    主站蜘蛛池模板: 久久久精品3d动漫一区二区三区| 欧美性FREE玩弄少妇| 99热久这里都是精品小草| 午夜精品久久久久久久爽牛战| 动漫美女人物被黄漫在线看| 亚洲午夜精品久久久久久抢| 久久激情网| 4虎最新网址| 亚洲AV午夜精品麻豆AV| 欧美白妞大战非洲大炮| 久久99r66热这里只有精品| 国产精品久久久精品a级小说| 亚洲 中文 自拍 无码| 女仆翻身大作战| 久久精品国产久精国产果冻传媒| 国产精亚洲视频综合区| FREEHDXXXX学生妹| 2021国产精品久久久久精品免费网| 袖珍人与大黑人性视频| 日韩精品专区在线影院重磅| 国产乱辈通伦影片在线播放亚洲| 99精品免费观看| 在线观看亚洲专区5555| 亚洲免费三区| 亚洲AV 中文字幕 国产 欧美| 神马影院午夜理论二| 日韩精品卡1卡2三卡四卡乱码 | 国产综合在线视频| 广西美女色炮150p图| 白丝萝莉喷水| md2.pud 麻豆传媒官网| 亚洲XXX午休国产熟女屁| 色欲AV无码乱码精品国产| 精品久久免费观看| 国产欧美日韩中文视频在线| 国产成人自产拍免费视频| 岛国大片在线播放免费| 成人网络电视破解版| qvod电影网站| 成人毛片100部免费看| 成人a毛片久久免费播放|