go top

provably secure operating system 添加释义

网络释义

  可验证安全操作系统

可验证安全操作系统provably secure operating system,PSOS)提供了一个 层次结构化的基于权能的安全操作系统设 计,1975年前后开始开发。

基于4个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定