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.
提出了一个模型层次结构，并给出了在这个模型层次结构下系统安全的定义，获得安全的分解定理。
应用推荐