Strand Space Model (SSM) is a practical, intuitive and strict formal method for security protocol analysis.
串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。
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)对中国汽车产业的影响。
This paper proposes a new mathematical analysis model for computing the average packet delay of IEEE 802.11 protocol.
提出了一种新的数学分析模型，用于计算ieee 802.11协议的平均包延时。
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总线的通信协议，并用有限状态机模型对其可靠性做定性分析。
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.
在典型的组播网络系统模型基础上，对这两类协议以及一种主要的改进协议在占用网络带宽和可扩展性方面的性能特点进行了定性的分析和比较。
Many methods are used in analysis model to detect intrusion actions, such as protocol analysis, expert system, application layer data reconstruction, intrusion detection.
对于获得的数据，分析模块采用多种方式综合分析入侵行为，包括协议分析、专家系统、应用数据还原、入侵检测等技术。
A new method of VHF channel access protocol analysis based on semi-Markov model is presented in this paper.
本文提出了一种基于半马尔可夫模型的VHF信道访问协议分析方法。
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逻辑形式化分析该协议，在理论上证明其安全性。
A new ATL analysis method based on game logic was inducted, and it can model and analyze Multi-electronic commerce protocol.
引入一种新的基于博弈逻辑的AT L分析方法，能够对日益复杂的多方电子商务协议进行建模与分析。
With the specific features of better communication predictability of the timing token protocol, a formalized analysis model for the predictability has been developed.
提出了一种以波长为标签的新型全光变长分组交换环网的体系结构、网络节点的光分组数据包收发模型，以及防止光分组冲突的多令牌协议。
With the specific features of better communication predictability of the timing token protocol, a formalized analysis model for the predictability has been developed.
提出了一种以波长为标签的新型全光变长分组交换环网的体系结构、网络节点的光分组数据包收发模型，以及防止光分组冲突的多令牌协议。
应用推荐