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