• Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.

    空间模型一种新兴密码协议形式化分析工具

    youdao

  • Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.

    空间模型分析安全协议一种实用直观严格形式化方法

    youdao

  • In line with China's WTO protocol, this paper devotes to a quantitative analysis of the impact of China's entry into the WTO on its economy, following a "computable general equilibrium (CGE) model".

    本文根据中国加入WTO议定书,运用中国经济可计算一般均衡(CGE)模型定量分析了中国加入世界贸易组织(WTO)中国汽车产业影响

    youdao

  • This paper proposes a new mathematical analysis model for computing the average packet delay of IEEE 802.11 protocol.

    提出一种新的数学分析模型用于计算ieee 802.11协议平均延时

    youdao

  • In addition, this model USES the protocol analysis technology.

    模型采用协议分析技术

    youdao

  • In this paper, a communication protocol based on RS-485 bus is discussed in detail, and the qualitative analysis of its reliability using the finite state machine model is given.

    本文详细讨论了一种基于RS- 485总线通信协议并用有限状态模型可靠性定性分析

    youdao

  • Qualitative analysis of these two basic protocols and a modified protocol is given to exhibit their characters in scalability and bandwidth usage on a typical multicast network model.

    典型的组播网络系统模型基础上,对协议以及一种主要的改进协议在占用网络带宽扩展性方面的性能特点进行定性分析和比较。

    youdao

  • Many methods are used in analysis model to detect intrusion actions, such as protocol analysis, expert system, application layer data reconstruction, intrusion detection.

    对于获得的数据分析模块采用多种方式综合分析入侵行为包括协议分析、专家系统应用数据还原、入侵检测等技术

    youdao

  • A new method of VHF channel access protocol analysis based on semi-Markov model is presented in this paper.

    本文提出了基于半马尔可夫模型VHF信道访问协议分析方法

    youdao

  • After setting up the idealized protocol model, a process of formal analysis of this protocol is presented and the security is proved theoretically by using the BAN logic.

    通过建立协议理想化模型利用BAN逻辑形式化分析协议,在理论上证明安全性

    youdao

  • A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.

    引入一种新的基于博弈逻辑AT L分析方法能够对日益复杂的多方电子商务协议进行建模分析

    youdao

  • With the specific features of better communication predictability of the timing token protocol, a formalized analysis model for the predictability has been developed.

    提出了波长标签新型全光变长分组交换环网的体系结构、网络节点的光分组数据包收发模型,以及防止光分组冲突的多令牌协议

    youdao

  • With the specific features of better communication predictability of the timing token protocol, a formalized analysis model for the predictability has been developed.

    提出了波长标签新型全光变长分组交换环网的体系结构、网络节点的光分组数据包收发模型,以及防止光分组冲突的多令牌协议

    youdao

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

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

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