[發明專利]智能電網分區防護系統漏洞的格蘊含推理算法

有效

• 申請號: 201110297015.5
• 申請日: 2011-09-28
• 公開（公告）號: CN102354357A
• 公開（公告）日: 2012-02-15
• 發明（設計）人: 王勇;王威;吳亮;谷大武;李海明;姚剛;朱武;徐建平;成貴學
• 申請（專利權）人: 上海電力學院
• 主分類號: G06F21/00
• 分類號: G06F21/00;H04L29/06
• 代理公司: 上海申匯專利代理有限公司 31001
• 代理人: 吳寶根

技術領域

本發明涉及一種電力檢測，特別涉及一種智能電網分區防護系統漏洞的格蘊含推理算法。

背景技術

分區防護系統包含不同安全等級的子系統，該系統中的邊界漏洞來源于多種不同類型設備，漏洞的特性無法用統一標準衡量，和單一的信息系統漏洞相比，具有漏洞來源特性的不可比較性。信息系統中的漏洞檢測方法不能完全應用在該環境中的檢測。

漏洞的檢測方法主要有靜態檢測與動態檢測。靜態檢測是面向程序源代碼，近10年來出現了C語言緩沖區漏洞CSSV方法，自動漏洞查找EXE方法和自動敏感代碼KLEE漏洞測試方法。但是這些漏洞檢測方法是針對計算機系統下C,JAVA等語言的源代碼，不能應用到CISCO硬件設備的漏洞檢測。

為了提高靜態檢測的效率，信息系統采用漏洞檢測工具，代表性的有???????????????????????????????????????????????詞法分析分析工具?RATS；符號執行工具Mjolnir，STLlint和ChecknCrash；模型檢測工具MOPS，SLAM，優化模型檢測工具BLAST，競爭條件漏洞檢測工具RacerX；?規則檢查工具MC和Splint；?定理證明工具Cogent，CodeSonar，Saturn，mygcc，Eau?Claire。檢測工具經歷了詞法分析，符號執行，模型檢測，規則檢測到定理證明的發展過程。

從靜態檢測工具的發展規律可以看出，規則檢測和定理證明是當前漏洞檢測的發展趨勢，該方法能夠實現功能更強大和性能更完善的靜態分析。

為了檢測可執行程序漏洞，需要采用動態檢測方法，主要有Haugh和Wilanderf在計算機安全國際頂級DNSS會議上分別發表的C語言動態測試方法和動態漏洞挖掘比較方法，Brumley的運行時整數檢測RICH方法。北京大學的鄒維研究組主要采用圖論方法和符號執行的IntScope方法檢測程序漏洞,研究成果在2009年國際頂級會議NDSS上發布。

動態檢測相比靜態檢測具有明顯優勢，該方法不局限于C,JAVA等程序源代碼，而是面向特定可執行程序，但是分區防護系統包含多種防護設備，設備安裝了多種程序，程序具有多種源代碼，這樣的復雜系統上的邊界漏洞，動態檢測方法也無法完全適用。

綜上所述，為了適應分區防護系統上邊界防護漏洞的檢測，在信息漏洞挖掘研究的理論基礎上，可以嘗試采用“格”的非經典邏輯推理檢測方法。

格是一類重要的代數結構，格值邏輯是一種重要的非經典邏輯，它是經典邏輯和模糊邏輯的推廣。格值邏輯把多值邏輯的鏈型真值域拓廣到較一般的格上，既能處理全序信息，又能處理不可比的信息，從而可以更有效地刻畫推理、判斷和決策的不確定性，尤其是對真值不完全可比較性的研究。

概念格是Wille?R于1982年提出。概念格的每個節點外延實例和內涵概念是一個形式描述。從2000年開始，清華大學的石純一教授就開始了概念格的分類和關聯規則的研究，他改進了一個Bordat的建格算法,使之適合于集成挖掘的需要,進而提出一個從概念格上提取關聯規則和分類規則的算法,實現了關聯規則和分類規則的挖掘在概念格框架下的統一。

2002年西南交通大學的徐揚指導李海明博士生開展了“格蘊涵”代數的研究。格蘊涵是將格與蘊涵代數結合起來的一種代數結構，是研究格值邏輯系統及其性質的一個重要途徑。2007年國際原子能機構中心的阮達教授和徐揚教授聯合開展了格蘊涵理論研究。徐揚教授在該領域研究了格值邏輯的語言真值歸結自動推理，不確定性推理，語言真值α-廣義歸結自動推理的相關研究。

石純一教授的“概念格”理論和徐揚教授“格蘊涵”理論的成果為分區防護系統的漏洞檢測理論研究鋪平了道路。在他們的理論研究成果基礎上，申請人和徐揚教授的博士李海明教授，采用“概念格”與“格蘊涵”相結合方法，找到了格在分區防護系統的應用對象，在信息安全與數學非經典邏輯交叉領域中，研究邊界漏洞檢測難題，擬在智能電網分區防護系統中驗證推理方法的可靠性與完備性。