Lattice implication reasoning algorithm of bug in partitioning protection system of smart grid

Abstract

The invention relates to a lattice implication reasoning algorithm of a bug in a partitioning protection system of a smart grid, comprising the steps of: building a lattice implication algebraic system model according to the experimental environment of the partitioning protection system of the smart grid; describing the bug in the model by a method of a concept lattice; building an automatic reasoning system of the lattice implication on the basis; reasoning and inspecting the bug of the system; and inspecting the reasoning efficiency by the experiment environment of the system. The automatic reasoning system of the boundary bug is built in the partitioning protection system of the smart grid by adopting a method that lattice implication is combined with concept lattice, so that the bug detection efficiency of the smart grid is improved.

Description

technical field [0001] The invention relates to electric power detection, in particular to a lattice implication reasoning algorithm for loopholes in a partition protection system of a smart grid. Background technique [0002] The partition protection system includes subsystems with different security levels. The boundary vulnerabilities in this system come from a variety of different types of equipment, and the characteristics of the vulnerabilities cannot be measured by a unified standard. sex. Vulnerability detection methods in information systems cannot be fully applied to detection in this environment. [0003] Vulnerability detection methods mainly include static detection and dynamic detection. Static detection is oriented to the program source code. In the past 10 years, the C language buffer vulnerability CSSV method, the automatic vulnerability finding EXE method and the automatic sensitive code KLEE vulnerability testing method have emerged. But these vulnerabi...

AI Technical Summary

Problems solved by technology

In 2010, Zerbst proposed the partition principle of the smart grid network security protection structure at the IEEE Electric Energy Association. IEEE Transactions also pays attention to the security technology and reliability technology

Images