Using formal method to analyze security protocol is a valid method to the analysis of security protocols. In recent years, a lot of formal methods appeared.
采用形式化方法分析安全协议是协议分析的有效手段，近年来，出现了众多的研究方法。
So the design and analysis of cryptographic protocols are the troubles of information security.
因此密码协议设计和密码协议分析是信息安全领域的难题。
This paper first presents the security analysis of two verifier-based password-authenticated key exchange protocols for three-party and points out that they are both insecure.
首先对两个基于验证元的三方口令密钥交换协议进行了安全性分析，指出它们都是不安全的。
A new negotiation mechanism for the selection of security protocols among SIP entities was put forward, and moreover the corresponding security analysis was provided.
提出了一种新的安全协商机制用于在SIP实体之间进行安全协议的选择，并给出了相应的安全性分析。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
密码协议分析与设计的基础是对其进行形式化建模。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
密码协议分析与设计的基础是对其进行形式化建模。
应用推荐