查询词典 prover

Therefore once the security requirement in single prover condition is satisfied the identity authentication protocol can also be run in multi-provers condition.

因此，只要满足了其中单证明者环境下的安全要求，身份认证协议也能安全地运行在多个证明者的环境下。

Proof steps and proof states in the theorem prover Isabelle are very referable proof information , but now there is no tool that can manage them efficiently.

Isabelle定理证明器中的证明步骤和证明状态是非常具有参考价值的证明信息。然而目前没有工具可以有效管理这些信息。

The house does not rest upon the ground, but upon a woman.——Mexican Prover b

墨西哥谚语：家不是建立在土地之上，而是建立在女性之上。

Depending on the degree of automation, the prover can essentially be reduced to a proof checker, with the user providing the proof in a formal way, or significant proof tasks can be performed automatically.

根据自动化程度的证明者基本上可以归结为证明检查，与用户提供的证明在一次正式的方式，或显着的证明任务可以自动执行。

And thou, O Lord of hosts, prover of the just, who seest the reins and the heart: let me see, I beseech thee, thy vengeance on them: for to thee I have laid open my cause.

噫万军的上主！你考验义人，洞察人的肝胆肺腑；我既给你诉说了我的案情，愿你使我见到你对他们的报复。

The experiments show that the method can make up the deficiencies of the description logic reasoner and complement the theorem prover for satisfiable formulas.

实验结果表明，这样可以解决描述逻辑工具的不足，并可以弥补定理证明器对可满足的公式推理的不完备性。

Bible Prover Life is but a an, I joined in my company for five years and intricate feelings were full of my heart in these years.

人生苦短，来公司已有五年。其间充满酸甜苦辣，也经历了风风雨雨。

In the scheme the prover has not to give directly the DSA signature of a message,but to give a zero-knowledge proof of possessing a DSA digital signature of the message.

DSS得到了广泛的使用，对一个信息M的数字签名包含有签名者身份及信息M的完整性信息，数字签名提供了手写签名难以实现的安全能力。

Wherefore they that eak in prover say, Come into Heshbon, let the city of Sihon be built and prepared

21：27 所以那些作诗歌的说，你们来到希实本。愿西宏的城被修造，被建立。

In this thesis, we investigate and show how to achieve both practical and general zero-knowledge systems that can be securely run in concurrent and resettable settings with both concurrent prover security and concurrent verifier security in general public-key models.

因为零知识证明系统在当代密码学中处于中心的位置，并且由于Internet以及Internet上基于智能卡的电子商务的广泛普及和大规模应用，我们的工作具有极其重要的理论和实际意义。

Mr. Putin said there were signs of genocide against the Ossetian people.

普京说，有迹象表明对南奥塞梯人进行了种族清洗。

What I'm trying to say, Tristan is...

特瑞斯坦。我想说的是。