A Symbolic Modeling System for Network Security Protocols

Abstract

The invention discloses a symbol modeling system of a network security protocol. The present invention includes modeling modules of protocol entity modeling, attacker modeling, channel modeling and cryptographic primitives, and can describe the behavior of protocol participating entities in detail and accurately, considering that attackers have various attack methods; Whether the attack can be resisted with the participation of the secure channel; detailed cryptographic primitive modeling is carried out for the entities participating in the protocol and the operations that the attacker can perform, which can convert the informal description of the protocol into an accurate formal description sentence by sentence. The symbolic model established by this method is basically consistent with the protocol description. Through the analysis and verification of the model, the loopholes in the protocol design can be found, and the defects in the design of the network security protocol can be solved.

Description

technical field [0001] The invention relates to the technical field of network security, in particular to a symbolic modeling system of a network security protocol. Background technique [0002] Network security protocols are the basis for creating a network security environment and the key technology for building a secure network. Designing and ensuring the security and correctness of network security protocols can fundamentally ensure network security and avoid information leakage problems such as loss of network data information or file corruption due to insufficient network security levels. In the application of computer network, people have done a lot of research on the security protocol of computer communication, in order to improve the security of network information transmission. [0003] There are some problems with existing protocol modeling methods. Some modeling methods are readable, but the description is inaccurate and ambiguous, which makes modeling more dif...

AI Technical Summary

Problems solved by technology

[0004] Aiming at the above-mentioned deficiencies in the prior art, a symbolic modeling system of a network security protocol provided by the present invention solves the problems that the design of the network security protocol is prone to defects, the protocol is difficult to model, and the model is difficult to verify

Images