【Key words】 formal model； confidentiality policy； integrity policy； least privilege principle； noninterference theory； information flow； capability； model hierarchy；
基于6个网页-相关网页
data model hierarchy 数据模型层次
object model hierarchy 对象模型体系
hierarchy model [计] 分级结构模型 ; 科层结构 ; 阶层式的架构 ; 阶层模型
hierarchy of model 模型的层级性
hierarchy structure model 层次结构模型
infinite hierarchy model 无限层次模型
linear storage hierarchy model 线性储存阶层模型 ; [计] 线性存储层次模型
key hierarchy model 密钥层次模型
This is part of another model hierarchy, explained next.
这是另一个模型层次结构(接下来将解释)的一部分。
The CDebugTarget is the root of this wrapper-model hierarchy, and it listens for events fired by the CDI EventManager.
CDebugTarget是这个包装器模型层次结构的根，它侦听由CDI EventManager触发的事件。
A model hierarchy is proposed, and system security under this model hierarchy is defined, and the unwinding theorem of system security is proved.
提出了一个模型层次结构，并给出了在这个模型层次结构下系统安全的定义，获得安全的分解定理。
应用推荐