Distributed network protocol security detection method for smart power grid

A distributed network and protocol security technology, applied in the field of smart grid distributed network protocol security detection, can solve problems such as inconsistencies in nature, and achieve the effect of improving security

Active Publication Date: 2015-06-10
青岛联众芯云科技有限公司
View PDF4 Cites 8 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

If the verification result is that the property is not satisfied, the tool will automatically generate a counter-example, explaining under what circumstances an error will be generated to cause the property to not meet

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Distributed network protocol security detection method for smart power grid

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0036] Certain embodiments of the accompanying drawings of the present invention are described in more detail below.

[0037] according to figure 1 , the present invention is built on the basis of model checking technology, and the specific implementation mode is:

[0038] 1. Establish a state transition system and detection based on time automata for distributed network protocols

[0039] The detection method described in the present invention abstracts the smart grid distributed network protocol into a finite state machine migration system, divides the main body of the distributed network protocol into three parts: the client, the server and the device, and is the client of the distributed network protocol. The state transition system based on the time automata is respectively established on the terminal, the server and the device.

[0040] For distributed network protocol clients, timed automata are used to describe the state process of executing the protocol. When the c...

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

PUM

No PUM Login to view more

Abstract

The invention provides a distributed network protocol security detection method for a smart power grid. The method is that the distributed network protocol of the smart power grid is expressed by a state migration system composed of a timed automation machine; the conditions to be met by the distributed network protocol security of the smart power grid are expressed through a temporal logic formula; the distributed network protocol security is detected on the premise that no attacker appears; after introducing the attacker, the distributed network protocol safety is detected again. The method specifically comprises the steps of 1) building the state migration system based on the timed automation machine for the distributed network protocol, and detecting; 2) building an attacker model and detecting the distributed network protocol security; 3) building a detector model, improving the distributed network protocol security, and then detecting. With the adoption of the method, any security problem can be detected through the detector model, thus a user can continuously improve the protocol, and as a result, the security of the distributed network protocol of the smart power grid can be effectively improved.

Description

technical field [0001] The invention relates to a security detection method of a smart grid distributed network protocol, which mainly uses model inspection technology to solve the security detection problem of a smart grid distributed network protocol, and belongs to computer technology, smart grid, real-time technology, distributed system and verification technology cross-technical application areas. Background technique [0002] The smart grid is the future development direction of the power grid. It is based on advanced communication technology, sensor technology, and information technology, and uses information interaction between grid equipment as a means to achieve reliable, safe, economical, efficient, environmentally friendly and environmentally friendly grid operation. Use advanced modern power system for safety purpose. Based on the modern transmission and distribution network as the physical basis, the smart grid is built on an integrated and high-speed two-way ...

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
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): H04L29/06
CPCH04L63/0218H04L69/08
Inventor 陈志彭超宇岳文静
Owner 青岛联众芯云科技有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap