protocol formal analysis method

英美

protocol formal analysis method网络翻译

协议形式化分析

protocol formal analysis method双语例句

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

串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。

In facts SSM is a practical, intuitive and strict formal method for security protocol analysis.

事实证明，串空间模型是分析安全协议的一种实用、直观和严格的形式化方法。

Because of its compactness, fineness and unambiguity, formal analysis of cryptographic protocol has been an efficient and correct method step by step.

形式化分析由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径。

相关单词

purchasingn. 购买，采购 adj. 购买的，采购的 v. <正式>购买，采购；<古>（努力或艰难地）获得，得到；（航海）（用滑轮或杠杆）升起，举起（绳，索，锚）（purchase 的现在分词）
purchasern. 买方；购买者
publishingn. 出版；出版业 adj. 出版的；出版业的 v. 出版；发行（publish 的现在分词形式）；发表
publishern. 出版者，出版商；发行人
psycology
protractorn. 伸肌；分度器；伤处异物摘出器
protectionismn. 保护主义，贸易保护主义；贸易保护制度
proletariatn. 无产阶级，工人阶级；最下层阶级
proletariann. 无产阶级分子；无产者 adj. 无产阶级的；无产者的
programmern. （计）程序设计员；编程器
producingv. （用部件或原材料）生产；出产；生育；创作；引起；出示；制作（电影、戏剧等）；监制（音乐磁带）；（使）线段延长（produce 的现在分词）
prizegivingn. 分配奖品
private sector私营单位
printingn. 印刷（术）；（书的）一次印刷；印刷字体 v. 打印，印刷；（在报纸、杂志上）刊印，刊登；洗印，冲洗（照片）（print 的现在分词形式）
playwrightn. 剧作家