1) 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.
密码协议的形式化正在成为国际上研究的热点,通过形式化分析密码协议来判断密码协议是否安全可靠。
5) the security analysis of cryptographic protocol
密码协议安全性分析
6) cryptographic protocol
密码协议
1.
Strand space model to prove the security of cryptographic protocols;
用于密码协议安全性证明的串空间模型
2.
Petri net method in cryptographic protocol verification;
密码协议验证中的Petri网方法
3.
Modeling Analysis for a Cryptographic Protocol Using Coloured Petri Net;
有色Petri网的一种密码协议建模分析
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条