1) logical ground
逻辑的根据
2) an inconsequential argument
不合逻辑的论据
4) logical
[英]['lɔdʒɪkl] [美]['lɑdʒɪkḷ]
逻辑的，逻辑
5) logic criterion
逻辑判据
6) proof logic
证据逻辑
1.
This paper introduces a new logic-based formal method called proof logic which analyzes the security protocols by reasoning about the proofs of the principles.
形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。
补充资料：不合
1.违背;不符合。 2.不和。 3.不应当;不该。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条