【計】 provably-secured operating system

證明的英語翻譯：

prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【計】 proofness; proving
【化】 proofing
【醫(yī)】 certificate; certify; proof
【經(jīng)】 attest; attestation; authenticated; authentication; certification
certify; testimony

安全的英語翻譯：

safety; security; sureness
【經(jīng)】 safety

操作系統(tǒng)的英語翻譯：

【計】 operating system; OS
【化】 operating system