Non-Monotonic Properties for Proving Correctness in a Framework of Compositional Logic
Non-Monotonic Properties for Proving Correctness in a Framework of Compositional Logic
复制标题
在组合逻辑框架中证明正确性的非单调性质
DOI：
--
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Mitsuhiro Okada
中科院分区：
文献类型：
--
作者：
Koji Hasebe;Mitsuhiro Okada
验证身份验证协议：方法和示例
DOI：
10.1109/icnp.1993.340904
发表时间：
1993
期刊：
1993 International Conference on Network Protocols
影响因子：
--
作者：
Thomas Y. C. Woo;S. Lam
通讯作者：
S. Lam
DOI：
--
发表时间：
2001
期刊：
Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001.
影响因子：
--
作者：
N. Durgin;John C. Mitchell;Dusko Pavlovic
通讯作者：
Dusko Pavlovic
一种基于线性逻辑和BAN逻辑的安全协议逻辑验证方法
DOI：
10.1007/3-540-36532-x_24
发表时间：
2002
期刊：
International Symposium on Systems Synthesis
影响因子：
--
作者：
Koji Hasebe;M. Okada
通讯作者：
M. Okada