provably secure operating system的意思|示意
美 / /
英 / /
可证明安全的操作系统
provably secure operating system的网络常见释义
可验证安全操作系统 • 可验证安全操作系统（provably secure operating system，PSOS）提供了一个 层次结构化的基于权能的安全操作系统设 计，1975年前后开始开发。