provably-secured operating system

provably-secured operating system 基本解释

【计】证明安全的操作系统

计算机

重点词汇

• provably[计] 证明地
• secureda. 有担保的
• systemn. 系统, 体系, 制度, 方式, 秩序, 分类原则 [计] 系统; 体制; 体系
• operatinga. 操作的, 工作的, 营业上的, 业务的, 关于收支的, 关于损益的, 外科手术的 [机] 运转费用