英语解释

证明安全的操作系统

拼音zhèng míng ān quán de cāo zuò xì tǒng

英语翻译

【计】 provably-secured operating system

分词翻译

证明的英语翻译：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony

安全的英语翻译：

safety; security; sureness
【经】 safety

操作系统的英语翻译：

【计】 operating system; OS
【化】 operating system

纠错