go top

first-order logic model

网络释义

  一阶逻辑模型

...协议;一阶逻辑模型 [gap=744]Key words】 reconstruction of attack sequence; security protocols; first-order logic model ...

基于6个网页-相关网页

短语

first-order model logic 一阶表达式

有道翻译

first-order logic model

一阶逻辑模型

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • In order to analyze the non-repudiation and fairness properties under one frame, a set of first-order logic syntax and semantics for non-repudiation protocols was proposed, and a model was built.

    为了将密码协议的非否认公平性统一在框架之下更好地进行分析,提出适用于分析非否认性和公平性的一阶逻辑语法语义

    youdao

  • The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.

    广义量词Q逻辑模型推广取值完备弱可格上

    youdao

  • In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

    为了形式化验证数字现金安全性,本文经典一阶逻辑基础上,吸取了多类逻辑、动态逻辑和非单调逻辑的思想,提出了BZL逻辑模型

    youdao

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

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

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