1) 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.
形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。
2) Dialectical logic
辩证逻辑
1.
On the advanced stage of the development of logic science ——dialectical logic;
论逻辑科学发展的高级阶段——辩证逻辑
4) authentication logic
认证逻辑
5) logical verification
逻辑验证
1.
This paper introduces the payment process of SET (secure electronic transactions) protocol, and extends the logical framework of NDL to fit the purpose of logical verification of SET.
在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 。
6) dialectic logic
辩证逻辑
1.
From the late 20th century the Chinese critics in comparative literature have succeeded in establishing,based on dialectic logic,epistemology,methodology and ontology,a theoretical system that is universal in a multi-cultural environment.
20世纪末到本世纪初,中国比较文学学者首创比较文学学科理论体系,以辩证逻辑与认识论、方法论和本体论为主要范畴,这种理论对多元文化语境有普适性,对全球化时代比较文学学科发展起了推动作用。
2.
The denial of dialectic logic as philosophy will lead to the losing of basis of dialectic logic.
辩证逻辑原是范畴体系,否认辩证逻辑是哲学,辩证逻辑就将失去最后的立足点。
补充资料：辩护人、诉讼代理人毁灭证据、伪造证据、妨害作证罪
辩护人、诉讼代理人毁灭证据、伪造证据、妨害作证罪：指在刑事诉讼中，辩护人、诉讼代理人毁灭、伪造证据，帮助当事人毁灭、伪造证据，威胁、引诱证人违背事实改变证言或者作伪证的行为。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条