Lattice implication reasoning algorithm of bug in partitioning protection system of smart grid
A protection system and smart grid technology, applied in transmission systems, electrical digital data processing, computing, etc., can solve problems such as rare research on boundary vulnerability detection, incomparability of vulnerability characteristics, etc., and improve the efficiency of vulnerability detection.
Inactive Publication Date: 2012-02-15
SHANGHAI UNIVERSITY OF ELECTRIC POWER
View PDF2 Cites 13 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
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
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
Login to View More
PUM
Login to View More
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...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More
IPC IPC(8): G06F21/00H04L29/06G06F21/57
Inventor 王勇王威吴亮谷大武李海明姚刚朱武徐建平成贵学
Owner SHANGHAI UNIVERSITY OF ELECTRIC POWER
Who we serve
- R&D Engineer
- R&D Manager
- IP Professional
Why Patsnap Eureka
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com