1、
On the basis of this concept, the noninterference model is extended to nondeterministic systems.
提出系统动作对信息域的不干扰概念, 并在此基础上将不干扰模型推广到非确定系统.
互联网摘选
2、
3、
This is the approach we advocate for using these nondeterministic methods.
这是我们提倡使用不确定方法的使用方法.
互联网摘选
