学生:刘建东 学号:S310060100
பைடு நூலகம்
可信计算(dependable computing): 主要处理非故意制造的故障。
信任计算(trusted computing):主要处理 恶意攻击,以保证处理数据的安全。
当今人们对软件人性化的追求更多,开发者在软件的操作中
融入了更多的开放性。 普通黑客的技术水平日益提高,对软件的攻击变得越来越简 单。 2010 年中期安全趋势报告显示,浏览器插件成为最新的攻击 目标,软件使用中的信任问题已经从操作系统和浏览器延伸 到浏览器插件。 国家计算机病毒应急处理中心通过对互联网的监测发现,在 近期出现的操作系统和应用软件诸多漏洞中,应用软件的漏 洞占据了多数。
对于传统的软件可信性来说可靠性、可信赖计算、高信
度计算、可生存性和安全性等问题的研究目的都是试图 使计算机系统更加可信(dependable),只是研究的侧 重点不同,它们共同构成了当前计算机系统可信性领域 研究的整体框架和体系。
一般来说,计算机系统软件的可信性包含可靠性、可用性、
从软件可信性问题研究的演变可以看到,软件的可信 性问题是从最初的软件安全性问题,随着软件应用环境 的逐渐开放化、网络化,而逐渐复杂化的结果。计算机 系统软件可信性度量研究是计算机技术应用中产生的软 件信任问题越来越全面、越来越复杂的要求和体现。
避错 容错 排错 预错
系统可信性 保障技术
16
20
避错
目的是尽量避免将缺陷引入系统。 必须承认实现完全避错是不可能的。事先 把偌大的一个航天系统可能出现的情况完全考 虑到,是一个不可能事件。
17
容错
目的是使系统在运行中出现错误时能够继续提供标准或 降级服务。 容错是一种通用的可信性保障机制 ,其容错技术能够 处理多种类型的缺陷和错误 ,如硬件设计缺陷和软件设计 缺陷。 通常容错被分为硬件容错、软件容错和系统容错。常 用的容错方法都包含错误检测、错误处理、错误恢复三个 过程。