探讨了形式化分析在设计密码认证协议中的作用；
The function of formal analysis in the design of the authentication protocols is discussed;
串空间模型是一种新兴的密码协议形式化分析工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间理论是一种新兴的用于密码协议形式化分析的方法。
Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
形式化分析、例证和实验结果表明GKCP 的正确性和可行性。
The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.
主要使用运行模式法对简化的SSL30基本握手协议进行了形式化分析。
The simplified SSL3 0 basic handshake protocol is analyzed by using a formal analysis method called the approach of the running-mode analysis.
安全协议特别是认证协议的非形式化分析在复杂的现代通信中变得尤其重要。
Informal methods for the analysis of cryptographic protocols especially authentication protocols are becoming more important in complicated modern communications.
与密钥分发和认证协议相比，电子合同签订协议的形式化分析遇到了新的挑战。
There exist challenges in applying formal techniques to electronic contract signing protocols, which are not encountered in the analysis of key exchange and authentication protocols.
最后对改进后的协议进行形式化分析，证明改进后协议的不可否认性和公平性。
Finally, it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。
Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.
通过建立协议的理想化模型，利用BAN逻辑形式化分析该协议，在理论上证明其安全性。
After setting up the idealized protocol model, a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.
利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞，已成为密码学中一个新的研究方向。
It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.
采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.
提出并实现了一种双向挑战握手及下线验证的改进方案，并用一种改进的BAN逻辑对其进行了形式化分析。
However, an improvement proposal called Dual-way Challenge Handshake and Logoff Authentication was proposed, and a formal analysis was done on it with an improved BAN logic.
由于有向超图具有坚实的数学基础和严格的形式化分析手段，能够清楚地描述多对多、一对多、多对一的关系。
Due to directed hypergraph's mathematical foundation and rigorous formal analysis ability, it can describes clearly the relationship of many-to-many, one-to-many, and many-to-one.
保障网络通信安全的一个极其重要的环节是安全协议，安全协议的形式化分析方法已成为近年来安全领域研究的热点之一。
Security protocol is a very important role in securing network communication, and the formal analysis method for security protocol becomes one of the hottest research topics in security field.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
安全协议形式化分析技术的提出，将协议的安全性问题转化为数学问题，采用数学证明的手段来代替直觉的判定，近年来已逐步被公认为解决安全问题的合理方案。
Formal methods for protocol analysis ware put forward based on changing the security problem into a mathematical problem, which we can rigorously prove it instead of judging by intuition.
应用推荐