The Issuer will protect the token by signing it and by including a public key known only to the prover.
发布方会通过对其进行签名并且包含只有验证方才知道的公钥来保护令牌。
A prover for parallel numerical verification of a class of constructive geometry theorems.
一类构造性几何定理的数值并行法证明器。
This paper proposes an automatic calibration system of bell prover gas calibration facility.
介绍了一种钟罩式气体流量标准装置自动检定系统。
Without automated theorem prover, programmers have to generate all proofs by hand, which is a huge workload.
没有自动定理证明器的支持，程序性质的证明全部需要程序员手工完成，工作量巨大。
The ownership prover insert the watermark into the host signal using symmetric watermark technology based on spread spectrum.
所有权证明者采用基于扩频的对称水印技术，在宿主信号中嵌入水印；
Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.
尽管缺少自动化，高效地使用定理证明器能处理比模型检查器更大的设计并且要求更小的内存。
Sometimes the abstraction itself may be so large that the theorem prover may take an inordinate amount of time and resources to complete the proof.
有时抽象本身可能是很大的工作量，以致定理证明程序可能花费过多时间和资源来完成证明。
Effective use of a theorem prover requires a solid understanding of the internal operations of the tool and a familiarity with the mathematical proof process.
高效地使用定理证明需要对工具的内部操作有坚实的理解并且熟悉数学证明过程。
Therefore once the security requirement in single prover condition is satisfied the identity authentication protocol can also be run in multi-provers condition.
因此，只要满足了其中单证明者环境下的安全要求，身份认证协议也能安全地运行在多个证明者的环境下。
Or else, the abstraction may throw away so much information that the theorem prover may yield results that are correct for the abstraction, but incorrect for the program being analysed.
要不然，抽象会丢掉那么多信息，以致于定理证明程序产生的结果对抽象而言是正确的，但是对于正在被分析的程序而言则是不正确的了。
The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.
发布方可能会使用各种方法来对验证方进行认证，包括访问包含在U-Prove令牌中由其它发布方生成的信息。
The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.
发布方可能会使用各种方法来对验证方进行认证，包括访问包含在U-Prove令牌中由其它发布方生成的信息。
应用推荐