[发明专利]智能电网分区防护系统漏洞的格蕴含推理算法

说明书

技术领域

本发明涉及一种电力检测，特别涉及一种智能电网分区防护系统漏洞的格蕴含推理算法。

背景技术

分区防护系统包含不同安全等级的子系统，该系统中的边界漏洞来源于多种不同类型设备，漏洞的特性无法用统一标准衡量，和单一的信息系统漏洞相比，具有漏洞来源特性的不可比较性。信息系统中的漏洞检测方法不能完全应用在该环境中的检测。

漏洞的检测方法主要有静态检测与动态检测。静态检测是面向程序源代码，近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年国际原子能机构中心的阮达教授和徐扬教授联合开展了格蕴涵理论研究。徐扬教授在该领域研究了格值逻辑的语言真值归结自动推理，不确定性推理，语言真值α-广义归结自动推理的相关研究。

石纯一教授的“概念格”理论和徐扬教授“格蕴涵”理论的成果为分区防护系统的漏洞检测理论研究铺平了道路。在他们的理论研究成果基础上，申请人和徐扬教授的博士李海明教授，采用“概念格”与“格蕴涵”相结合方法，找到了格在分区防护系统的应用对象，在信息安全与数学非经典逻辑交叉领域中，研究边界漏洞检测难题，拟在智能电网分区防护系统中验证推理方法的可靠性与完备性。