Modeling and solving cryptographic protocol insecurity problem

In this paper, the insecurity problem of cryptographic protocol is proposed. To solve this problem, we give an accurate formal specifications for cryptographic protocols, and define the security properties precisely and reasonably, presenting some critical concepts and propositions in the deduction of the problem solving. The method of this paper with provable semantics is reasonable and sound, proved to be efficient by practice.