片语
verifiable secure operating system检验可靠的操作系统
secure embedded operating system安全嵌入式操作系统
linux secure operating systemlinux安全操作系统
provably secure operating system可验证安全操作系统
Kernalized Secure Operating System核心安全操作系统
secure operating system design安全操作系统设计
Kernelized Secure Operating System[计]
ANSHENG secure operating system安胜安全操作系统
secure operating system model安全操作系统模型