... Noninterference Model 干扰模型 Noninterference Theory 无干扰理论 noninterference test 无干扰测试 ...
基于10个网页-相关网页
非传递无干扰理论 intransitive noninter-ference theory
The security policy is abstractly redefined, and made a new interpretation in noninterference theory.
给出了抽象安全策略的新定义，并用无干扰理论重新进行了解释。
参考来源 - 高安全级操作系统形式设计的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
给出了抽象安全策略的新定义，并用无干扰理论重新进行了解释。
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.
应用推荐