Through the noninterference theory, it is proved that the model meets multilevel security policy.
通过不干扰原理对模型的安全性进行了证明。
The security policy is abstractly redefined, and made a new interpretation in noninterference theory.
给出了抽象安全策略的新定义，并用无干扰理论重新进行了解释。
The security policy is abstractly redefined, and made a new interpretation in noninterference theory.
给出了抽象安全策略的新定义，并用无干扰理论重新进行了解释。
应用推荐