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

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

youdao

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

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

youdao

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

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

youdao

Tepid actions are better than no action at all, and some of the moves clearly come under its formal job description.

BBC: Euro crisis: What on earth does ECB do now?