4) security protocol analysis
安全协议分析
1.
Through the study of the method of security protocol analysis based on the Strand Space Model,this paper proposes an advanced state space reduction technique,which combines state space reduction techniques with pruning-theorems during the protocol analysis in order to reduce the state space more efficiently.
通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的。
5) Formal analysis of cryptographic protocol
形式化分析密码协议
1.
Formal analysis of cryptographic protocol becomes international hot spot in researching,the security of cryptographic protocol can be judged by Formal analysis of cryptographic protocol.
密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。
6) the security analysis of cryptographic protocol
密码协议安全性分析
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条