给出了抽象安全策略的新定义，并用无干扰理论重新进行了解释。
The security policy is abstractly redefined, and made a new interpretation in noninterference theory.
最后结合经典无干扰理论，将本模型由进程环境扩展为适用于整个系统安全的模型。
Finally combined with classic non-interference theory, the security model was extended from process environment to the whole system.
最后结合经典无干扰理论，将本模型由进程环境扩展为适用于整个系统安全的模型。
Finally combined with classic non-interference theory, the security model was extended from process environment to the whole system.
应用推荐