the formal description

英美

the formal description网络翻译

形式化描述

the formal description双语例句

And, the expanded RBAC model-ERBAC model and the formal description are given.

给出了扩展的RBAC模型—ERBAC模型，并给出了其形式化描述。

With the formal description of the adaptor generating process, we can automatically generate the adaptor.

通过适配器生成过程的形式化描述可以自动生成该适配器。

This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.

论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。

相关单词

tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
trimestern. 三个月；一学期
trigonometryn. 三角学
trapezen. 秋千；吊架
transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
to pass an examination
tights紧身裤袜
tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列【名】（Tier）（英）蒂尔（人名）
telecommunicationsn. 电信，电讯
teachersn. 教师（teacher 的复数形式）
taxationn. 征税，税制；税款