Cryptographic protocol verification method

Abstract

The invention belongs to the technical field of information security, and discloses a cryptographic protocol verification method. The method comprises: in a set network environment, giving a cryptographic protocol; describing a cryptographic protocol according to the grammar and semantics of the dynamic cognitive logic; establishing a behavior model according to behavior characteristics involved in the cryptographic protocol to accurately describe protocol behaviors and a behavior execution process, wherein the protocol behavior execution process is a protocol operation process, and the process is also a process of completely formalizing the protocol; modeling a target of the cryptographic protocol, and describing a sub-target; determining whether the protocol meets the safety target or not according to analysis of the behavior model, if so, ending the protocol, and indicating that the protocol is safe. According to the invention, knowledge owned by participants in the protocol is clearly described, and the logic expression method can accurately describe each step of protocol execution; and meanwhile, the behavior model is described simply and clearly, so that the proving process is rigorous and perfect.

Description

technical field [0001] The invention belongs to the technical field of information security, and provides a password protocol verification method. Background technique [0002] At present, the integration of computer technology and communication technology has made computer network communication increasingly developed and popular. In network communication, communication security is a very important issue, and it is increasingly becoming a concern of people, especially in e-commerce and other fields. A cryptographic protocol is a network protocol that uses a cryptographic mechanism. The so-called network protocol refers to a collection of rules, standards, or conventions established for data exchange in computer network communications. The cryptographic protocol refers to the addition of cryptographic technology to ensure information security in network communication, that is, a protocol that uses a cryptographic mechanism. Cryptographic protocols are becoming more and more...

AI Technical Summary

Problems solved by technology

Which logic to use for accurate modeling is the most difficult, the inaccurate model will not accurately describe the cryptographic protocol, and the target model is also difficult to be accurate, which directly leads to incorrect proof results

Images