?形式化设计
1 引言 关键词:安全认证;形式化设计;协议组合推导系统 [gap=1034]Key words】security authentication; formal design; Protocol Composition Deduction System(PCDS)
?规则式设计
... 不规则式 irregular style 规则式设计 formal design 规则式园林 formal garden ...
计 形式设计说明
规则式设计概述 ; 正式的设计复查
正式系统设计
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。