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