Unlock instant, AI-driven research and patent intelligence for your innovation.

Network protocol side channel detection method and system based on static taint analysis

A network protocol and taint analysis technology, applied in transmission systems, digital transmission systems, secure communication devices, etc., can solve problems such as state explosion, and achieve the effects of improving efficiency, avoiding interference, and reducing scale

Pending Publication Date: 2022-04-22
中国人民解放军32802部队
View PDF10 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This is due to the problem of static taint analysis itself. When analyzing the protocol, although the scale of the problem is relatively small compared to the model detection, there is still a hidden danger of state explosion.

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
  • Network protocol side channel detection method and system based on static taint analysis
  • Network protocol side channel detection method and system based on static taint analysis
  • Network protocol side channel detection method and system based on static taint analysis

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0054] In order to make the purpose, technical solutions and advantages of the embodiments of the present invention clearer, the technical solutions in the embodiments of the present invention will be clearly and completely described below in conjunction with the drawings in the embodiments of the present invention. Obviously, the described embodiments It is only some embodiments of the present invention, but not all embodiments. Based on the embodiments of the present invention, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the protection scope of the present invention.

[0055] The first aspect of the present invention discloses a network protocol side channel detection method based on static stain analysis. figure 1 It is a flow chart of a network protocol side channel detection method based on static taint analysis according to an embodiment of the present invention; as figure 1 As shown, the method includ...

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 network protocol side channel detection method and system based on static taint analysis. The method comprises the following steps: S1, preprocessing a source code, and extracting a code related to a network protocol from the source code so as to execute static taint analysis; step S2, based on the code related to the network protocol, determining a pollution variable in the network protocol through the static stain analysis; and S3, on the basis of a shared variable obtained from the code related to the network protocol, a pollution propagation path of the shared variable is determined by reversely traversing the pollution variable, and the pollution propagation path of the shared variable is used for mining vulnerabilities of a network protocol side channel.

Description

technical field [0001] The invention belongs to the field of network protocols, in particular to a network protocol side channel detection method and system based on static stain analysis. Background technique [0002] With the increasing complexity of network protocols, the importance of automated analysis of network protocols is increasing. Depending on whether the program needs to be executed, it can be divided into static and dynamic analysis techniques. The main technique of dynamic analysis is fuzz testing, which locates the location of the vulnerability by monitoring the exceptions that occur during program execution. Due to the large and random input space of test cases, the test efficiency is low and the code coverage rate is not high. Static analysis mainly includes methods such as data flow analysis and model checking. Static vulnerability analysis can ensure that the global information of the program is relatively complete, but there may be false positives and...

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): H04L43/18H04L9/40
CPCH04L43/18H04L63/1433
Inventor 王东霞冯学伟茹凯琪庞玲林哲超郑亚宁
Owner 中国人民解放军32802部队