formal analysis of cryptographic protocol

英美

formal analysis of cryptographic protocol网络翻译

形式化分析密码协议

formal analysis of cryptographic protocol双语例句

It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.

利用形式化分析密码协议的方法来检测密码协议中潜在的安全漏洞，已成为密码学中一个新的研究方向。

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. 剧作家