证明安全的操作系统的英文翻译

英文翻译：【计】 provably-secured operating system