1) make oneself believe
自向证明
2) make others believe
他向证明
3) self-proof
自证明性
4) Self-certified
自证明
1.
Based on the analysis of several typical zero-knowledge proof authentication protocols,this paper presents an authentication protocol with key-exchange function based on self-certified public key and zero-knowledge proof,which combines Girault\'s self-certified public key theory and the advantages of ECC.
在分析几种典型零知识身份认证协议的基础上,利用Girault自证明公钥原理、结合椭圆曲线公钥密码的优点提出一种基于自证明公钥和零知识证明的身份认证协议,并为协议增加了密钥协商功能。
6) automated reasoning
自动证明
1.
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
2.
This paper presented an automated reasoning algorithm for natural deduction system(NR)of relevance propositio-nal logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
补充资料：自调自净自度
【自调自净自度】
（术语）同自调项。
（术语）同自调项。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条