secure operating system
- secure operating system的基本解释
-
-
安全操作系统
- 更多网络例句与secure operating system相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Based on predecessors' work, this propose the concept of degenerate test set and an approach that performs test generation and redundancy elimination in the light of the special requirement of verification of the secure operating system.
在总结前人工作的基础上，结合安全操作系统对测试的特殊需求，提出了简并测试集(degenerate test set，简称DTS)的概念，设计了一种使用模型检测的基于安全状态转移的高效测试集生成方法。
-
Discretionary Access Control is one of necessary and most common secure mechanisms in the secure operating system.
自主访问控制机制是安全操作系统必不可少的、应用最广泛的安全机制之一。
-
DAACM is conformant to the requirements of the secure operating system design of Structured Protection Level, and will be used to the practical system design.
DAACM符合论文中给出的《结构化保护级》安全操作系统设计的需要，并将实际应用于该系统的设计之中。
- 更多网络解释与secure operating system相关的网络解释 [注：此内容来源于网络，仅供参考]
-
provably secure operating system：abbr. psos; 可验证安全操作系统