Inferences on Honesty in Compositional Logic for Security Analysis

Inferences on Honesty in Compositional Logic for Security Analysis
复制标题

证券分析组合逻辑中诚实性的推论

DOI:
--
复制
发表时间:
2004
期刊:
Software Security-Theories and Systems Lecture Notes in Computer Science(Springer-Verlag) 3233
影响因子:
--
通讯作者:
Mitsuhiro Okada
Mitsuhiro Okada
中科院分区:
--
文献类型:
--
作者:
Koji Hasebe;Mitsuhiro Okada

文献摘要

相似文献