• He ended the article with a prover.

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

    youdao

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

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

    youdao

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

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

    youdao

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

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

    youdao

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

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

    youdao

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

    用于一阶逻辑方程序的自动理论证明器,用于支持语言处理中的推理

    youdao

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

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

    youdao

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

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

    youdao

  • 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包含专门针对每个令牌的公钥只有验证方才知道

    youdao

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

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

    youdao

  • When the Prover wants a token, he contacts the Issuer through the Issuance Protocol presenting his attributes in a cryptic form.

    验证想要得到令的时候,它会通过发布协议发布联系一种秘密的形式来展现属性

    youdao

  • Although less automatic, efficient usage of a theorem prover can handle much larger designs than model checkers and requires less memory.

    尽管缺少自动化高效地使用定理证明器处理模型检查器更大设计并且要求小的内存。

    youdao

  • The Issuer may use various means to authenticate the Prover including accessing information contained in U-Prove tokens generated by other Issuers.

    发布可能会使用各种方法验证方进行认证,包括访问包含U-Prove令牌其它发布方生成信息

    youdao

  • 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.

    有时抽象本身可能很大工作量,以致定理证明程序可能花费过多时间资源完成证明

    youdao

  • In contrast to the token's public key, this private key is not part of the U-Prove token; the Prover never discloses it when using the U-Prove token.

    公钥不同这个并不是U -Prove令牌一部分验证永远不会使用u - Prove令牌的时候透露

    youdao

  • After obtaining a token, the Prover will use it in relation with a Verifier to establish a trusted relationship between the two via the Presentation protocol.

    获得令牌之后,验证方会校验放取得联系并通过表现协议在二者之间确立信任的关系

    youdao

  • 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.

    高效地使用定理证明需要工具内部操作坚实理解并且熟悉数学证明过程

    youdao

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

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

    youdao

  • We refer to the Prover-computed response as the presentation proof; it is a cryptographic proof of possession of the private key corresponding to the presented U-Prove token.

    我们使用验证方计算响应作为表示证据拥有加密的证据,是与当前的U -Prove令牌相关的。

    youdao

  • 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.

    要不然抽象丢掉那么信息以致定理证明程序产生结果抽象而言正确的,但是对于正在被分析程序而言则是不正确的了。

    youdao

  • This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.

    提出一种指针逻辑设计定理证明器的新技术,该项技术主要基于变换替代,已在APL工具中得以实现。

    youdao

  • This paper presents a technique for designing theorem prover which mainly based on transformation and substitution for Pointer Logic. The technique realized as a tool called APL is implemented.

    提出一种指针逻辑设计定理证明器的新技术,该项技术主要基于变换替代,已在APL工具中得以实现。

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定