Communication protocol credibility verification device

A verification device and communication protocol technology, applied in the field of communication, can solve problems such as difficulty in ensuring the quality of verification results, insufficient strictness of ambiguity, and low accuracy of natural language

Active Publication Date: 2020-06-05
上海丰蕾信息科技有限公司
View PDF9 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In the communication protocols of traditional computing platform systems, people generally use natural language to describe it. Although natural language has the advantages of being easy to understand and convenient, it also has many fatal shortcomings. For example, natural language is not accurate enough. Strictness and ambiguity, etc., will cause different people to have completely different understandings of the protocol description, resulti

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
  • Communication protocol credibility verification device
  • Communication protocol credibility verification device
  • Communication protocol credibility verification device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0052] figure 1 It is a schematic flowchart of a communication protocol authenticity verification method shown according to an exemplary embodiment;

[0053] In some embodiments, a communication protocol authenticity verification method includes:

[0054] Step S101, describe the requirement specification that satisfies the security transmission index through the formal language, and obtain the requirement specification described in the formal language;

[0055] In some optional embodiments, the computing platform is no longer a simple operation of a single node. Today's computing nodes are networked and systematic. Computing platform systems form a powerful platform system through data communication. The computing platform system Reliable data communication between computers is the basis to ensure the safe operation of the entire software, and the communication between computing platform systems is restricted by the communication protocol of the platform. The communication p...

Embodiment 2

[0102] In a preferred embodiment, the trusted verification method of the communication protocol based on the computing platform system of the present invention is used to carry out trusted verification of the Powerlink protocol between computing platforms.

[0103] Open source real-time communication technology Powerlink is a real-time Ethernet protocol used to solve the real-time nature of data transmission in the field of industrial control and data acquisition on the standard Ethernet medium. This protocol mainly specifies the communication on the data link layer. The protocol supports periodic Communication and aperiodic communication, one protocol cycle mainly includes isochronous synchronous phase and asynchronous communication phase, periodic communication occurs in isochronous synchronous phase, acyclic communication occurs in asynchronous communication phase, Powerlink contains two types of communication nodes, the main Station node and slave station node, and accordin...

Embodiment 3

[0109] An embodiment of the present disclosure provides a communication protocol authenticity verification device, Figure 4 It is a schematic structural diagram of a communication protocol authenticity verification device according to an exemplary embodiment.

[0110] Such as Figure 4 As shown, a communication protocol authenticity verification device, including:

[0111] S401 The formal language description module is used to describe the requirement specifications that meet the security transmission indicators through the formal language description, and obtain the requirement specifications described in the formal language;

[0112] S402 A formal verification module, configured to verify the requirement specification described in the formal language through a formal verification tool to obtain a verification data set;

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 discloses a communication protocol credibility verification device which comprises the components of a formalized language description module which is used for describing a requirement specification that satisfies a safety transmission index through a formalized language and obtaining a requirement specification that is described by the formalized language; a formal verification module, used for verifying the requirement specification described by the formal language through a formal verification tool to obtain a verification data set; and a detection module used for performing standard detection according to the verification data set. By means of the device, the formalized verification tool can be used for verifying the requirement specification so as to guarantee the safetyand reliability of data communication of the computing platform system.

Description

technical field [0001] The invention relates to the field of communication technology, in particular to a communication protocol authenticity verification device. Background technique [0002] Computing platform systems play an important role in many fields such as industry and life today. In addition to the traditional personal computer field, they also occupy a very important position in emerging technology fields such as smart factories and smart driving. It is worth noting that today's computing platform is no longer a simple operation of a single node. Today's computing nodes are networked and systematic. Computing platform systems form a powerful platform system through data communication, and computing platform systems are reliable. The data communication is the basis to ensure the safe operation of the entire software, and the communication between computing platform systems is restricted by the communication protocol of the platform. [0003] In the communication p...

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
IPC IPC(8): H04L12/26H04L29/06
CPCH04L43/18H04L69/03
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