>

provably-secured operating system

📖 中文释义

  1. [计] 证明安全的操作系统