Formal testing cryptographic protocols

For last 60 years in cryptography new directions have appeared. One of such directions is cryptographic protocols (CP). Now cryptographic protocols are widely used in information technologies. They solve such problems as division of a secret, identification, authentication, the blind signature, maintenance of integrity, etc. Construction of CP is a complex problem. It is necessary to construct CP in such a manner that it would completely execute the function, and any malefactor could not prevent in correct performance of CP, and also take the confidential information from intercepted messages between participants of the protocol. Therefore now the problem of analysis of CP which will show weaknesses (vulnerability) CP is actual. As a result of the analysis it becomes possible or to correct the vulnerability, or to refuse the use of CP. Words "testing" and "the analysis" shall be taken into count as synonymous.