Method and system for analyzing interaction security of tcp/ip layered network model, and storage medium

A system for analyzing interaction security of a TCP/IP layered network model, comprising:

• a processor:
• and
• a memory stored with instructions executable by the processor:
• wherein the processor is configured to:
• acquire a cross-layer interaction vulnerability set in the TCP/IP layered network model, and converting target protocol stack source codes into intermediate representations (IRs):
• divide a network protocol stack into different layers by scanning the converted IRs, and obtain source key variables by marking variables for indicating cross-layer interaction in the network protocol stack:
• obtain propagation variables by marking variables based on a relationship with the source key variables, and obtain a propagation path based on a marking sequence of the propagation variables:
• and
• obtain a vulnerability detection result, by performing vulnerability detection based on the propagation path and the cross-layer interaction vulnerability set.

A non-transitory computer readable storage medium stored with computer instructions, wherein when the computer instructions are executed by a computer, the computer is caused to perform a method for analyzing interaction security of a TCP/IP layered network model, WA method comprising:

• acquiring a cross-layer interaction vulnerability set in the TCP/IP layered network model, and converting target protocol stack source codes into intermediate representations (IRs):
• dividing a network protocol stack into different layers by scanning the converted IRs, and obtaining source key variables by marking variables for indicating cross-layer interaction in the network protocol stack:
• obtaining propagation variables by marking variables based on a relationship with the source key variables, and obtaining a propagation path based on a marking sequence of the propagation variables:
• and
• obtaining a vulnerability detection result, by performing vulnerability detection based on the propagation path and the cross-layer interaction vulnerability set.