verifiable secure operating system的意思|示意

美 / / 英 / /

可验证的安全操作系统

检验可靠的操作系统检验可靠的操作系统 verifiable secure operating system 面向对象的操作系统 object-oriented operating systems ..