全部

1·He ended the article with a prover.

他用一句谚语作为文章的结尾。

2·A prover for parallel numerical verification of a class of constructive geometry theorems.

一类构造性几何定理的数值并行法证明器。

3·This paper proposes an automatic calibration system of bell prover gas calibration facility.

介绍了一种钟罩式气体流量标准装置自动检定系统。

4·The Issuer will protect the token by signing it and by including a public key known only to the prover.

发布方会通过对其进行签名并且包含只有验证方才知道的公钥来保护令牌。

5·Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.

没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。

6·This is an automated theorem prover for first-order and equational logic, used to support inference in language processing.

这是一个用于一阶和逻辑方程序的自动理论证明器，用于支持语言处理中的推理。

7·The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.

所有权证明者采用基于扩频的对称水印技术，在宿主信号中嵌入水印；

8·To compute this response the Prover applies the private key for the U-Prove token to a presentation challenge of the Verifier.

为了对这个响应进行计算，验证方会把针对U - Prove令牌的私钥应用于校验方的表现请求。

9·Replay attack prevention: Each issued U-Prove token also contains a token-specific public key that is known only to the Prover.

重放攻击（Replay attack）防护：每个发布的U-Prove令牌中还包含专门针对每个令牌的公钥，这只有验证方才知道。

10·The Prover randomly generates it during the issuance protocol, together with a corresponding private key for the U-Prove token.

验证方会在发布协议中随机生成公钥，此时会使用针对U - Prove令牌的相关私钥。