Network space security credibility verification method based on security protocol

The invention discloses a network space security credibility verification method based on a security protocol, which relates to the technical field of network security protocols, and comprises the following steps: S1, dividing the security protocol into two parts, namely a protocol specification and a protocol implementation code; s2, formalized verification of the protocol specification: constructing a formalized model for the protocol specification, converting the formalized model into a logic solution formula, and performing solution verification through a logic solution system; s3, formalized verification of the protocol implementation code: firstly implementing the program code description of the protocol security property, and then constructing a formalized model of the protocol implementation code for verification; s4, implementing the consistency check of the protocol security property; according to the method, the protocol model and the implementation code are combined to perform formalized modeling