Completeness and Counter-Example Generations of a Basic Protocol Logic (Extended Abstract)
Completeness and Counter-Example Generations of a Basic Protocol Logic (Extended Abstract)
复制标题
基本协议逻辑的完整性和反例生成（扩展摘要）
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
Mitsuhiro Okada
中科院分区：
文献类型：
--
作者：
Koji Hasebe;Mitsuhiro Okada
登录
查看更多内容
DOI：
10.1007/978-3-540-30108-0_4
发表时间：
2004-09
期刊：
--
影响因子：
--
作者：
C. Meadows;Dusko Pavlovic
通讯作者：
C. Meadows;Dusko Pavlovic
在组合逻辑框架中证明正确性的非单调性质
DOI：
--
发表时间：
2004
期刊：
Proceedings of the Workshop on Foundations of Computer Security 2004, TUCS General Publication
影响因子：
--
作者：
Koji Hasebe;Mitsuhiro Okada
通讯作者：
Mitsuhiro Okada
验证身份验证协议：方法和示例
DOI：
10.1109/icnp.1993.340904
发表时间：
1993
期刊：
1993 International Conference on Network Protocols
影响因子：
--
作者：
Thomas Y. C. Woo;S. Lam
通讯作者：
S. Lam
使用 MSR 对 kerberos 5 的 ome 属性进行正式分析
DOI：
10.1109/csfw.2002.1021815
发表时间：
2002
期刊：
Proceedings 15th IEEE Computer Security Foundations Workshop. CSFW-15
影响因子：
--
作者：
F. Butler;I. Cervesato;A. D. Jaggard;A. Scedrov
通讯作者：
A. Scedrov
轻松入侵者扣除
DOI：
10.1007/978-3-540-39910-0_10
发表时间：
2003
期刊：
--
影响因子：
--
作者：
Hubert Comon;R. Treinen
通讯作者：
R. Treinen