计算机可信操作系统的保证  

作　　者：谢志宏 

机构地区：[1]广西昊华科技股份公司,广西南宁530022

出　　处：《科学与财富》2011年第5期290-290,共1页Sciences & Wealth

摘　　要：计算机操作系统存在着典型的缺陷，一旦了解系统中潜在的漏洞，就可以应用保证技术来找出漏洞，从而消除其影响。通常有三种保证技术：测试、验证和证实。

关 键 词：计算机 可信 操作系统 保证 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]