Password protocol safety detection method based on novelty verification condition

Abstract

The invention relates to a code protocol security detecting method based on freshness verification conditions in the field of information security, which comprises the steps that: inputting the initial value of a code protocol security detecting result, generating a new fact after a communication agent sends or receives each message, obtaining a new security detecting result through operating the freshness verification condition of a confidence multi-collection method based on the new fact and the built security detecting result until to process the protocol information, obtaining the security conclusion of the code protocol through the code protocol security detecting result, or displaying that the code protocol is safe, or leading out an attack structure for the code protocol with security hidden dangers. The detecting method not only can effectively differentiate whether the message is fresh, but also substantially prevents the attacks of replaying and confusing, and is not related to the specific descriptions of a multi-protocol operation environment and the ability of an attacker. In addition, the invention not only is a method of proving the code protocol correctness, but also is a method of searching protocol errors.

Description

technical field [0001] The invention relates to a method in the technical field of information security, in particular to a method for detecting the security of a cryptographic protocol based on a freshness verification condition. Background technique [0002] Cryptographic protocols, also known as security protocols, are interactive communication protocols based on cryptographic systems, providing confidentiality, authentication, integrity, and non-repudiation for various information transmitted in an open network environment. Authenticated key agreement is a cryptographic protocol aimed at the authentication of subject identity and the establishment of session key, and is the basis of other secure communication protocols. For the detection of cryptographic protocol security, the most widely used and effective method is the cryptographic protocol security detection method based on verification conditions. [0003] The cryptographic protocol security detection method based ...

AI Technical Summary

Problems solved by technology

However, the model checking method requires a detailed description of the multi-protocol operating environment and the attacker's capabilities, and there are also problems in describing the protocol as a finite state system without increasing or reducing the security of the protocol.

Images