A formal model is proposed to describe time character of constraint in this paper.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
At each step, the model is refined and made more formal.
每一步中模型都进一步精化，更加形式化。
The model is a formal research tool for evaluating technological support of a given task.
这个模式是为评估技术支持系统的正式研究工具。
Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.
串空间模型是一种新兴的密码协议形式化分析工具。
But, pure control model depending on formal regulations and obvious norms is impossible.
但是，纯粹的正式规则、显形规范治理的理想主义模式是不存在的。
The main works include the following: 1 Build the formal software model for fault location.
本文的主要工作包括以下几个部分：1建立支持软件故障定位的形式模型。
Thus, it is necessary to add formal language into current UML model.
因此，在UML模型上添加形式化语言是必要的。
The formal security proof of this scheme is provided in the random oracle model.
我们在随机预言模型下给出了方案的安全性证明。
The formal security proof of this scheme is provided in the random oracle model.
我们在随机预言模型下给出了方案的安全性证明。
应用推荐