影响可信性计算的主要因素故障链.pptVIP

第一章 数字计算系统可信性及属性 杨秋伟 湖南大学 计算机与通信学院 1.1 可信性定义及问题的提出 信息技术学科理论、技术和产品被广泛应用 航空航天、军事、国防、商业等各个领域 生命和财产安全 对信息技术领域的新技术、新产品的一般性标准 高性能 低成本 便于使用（可用性） 易于维修、可改进（可维护性） 1.1 可信性定义及问题的提出 因控制失效/失误造成的大事件(一般性要求不能涵盖的范围) 1986年“切尔诺贝利”核泄漏事故——安全保护系统操作失误 2005年“哥伦比亚”号航天飞机事故 ——热保护系统失效 2008年法国兴业银行欺诈案——操作监管不足 2009年“6.29”郴州火车相撞事故——制动失效 一般性标准之外 功能可用、功能可靠 故障可预见、故障可修复、故障应急处理 信息的保密性 1.1 可信性定义及问题的提出 数字计算系统的可信服务标准 可靠性（reliability）：一定条件下能正常完成所规定任务的能力 可用性（availability） 可测性（testability）：避免、防止、检测、诊断和修复故障的能力 可维护性（maintainability） 安全性（safety）：限制因故障等原因引起的严重后果的能力 保密性（security）：保持系统内部信息的信任度、完整性的能力 1.2 影响可信性计算的主要因素 影响可信性计算的三大主要因素 失效 系统运行到一