Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
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)对中国汽车产业的影响。
应用推荐