大房 NANJING UNIVERSITY 可信袅件 认识、量局评估 李宣东 C 国家重点实验室 STATE KEY LABORATORY 国家重点实验室 京火密软件学院 STATE KEY LABORATORY SEG 南京大学计算机科学与技术系 NANJING UNIVERSITY SOFTWARE INSTTTUTE
李宣东 可信软件: 认识、度量与评估
提纲 可信软件 能够信任的软件 o值得信任的软件 o建立人与软件系统之间的信任关系 问题 如何理解可信软件? o如何度量与评估软件可信性?
提 纲 ◼ 可信软件： 能够信任的软件 值得信任的软件 建立人与软件系统之间的信任关系 ◼ 问题 如何理解可信软件？ 如何度量与评估软件可信性?
计算机、软件. 计算机已经渗透到我们工作和 生活的方方面面,成为我们工 作和生活的一部分,从而极大 地促进了社会的发展和生产力 的提高。 各种计算机系统由于其中的软件 系统失效经常表现不尽人意,呈 现出脆弱、难以信任的特征,甚 至造成不可挽回的损失
计算机、软件…… ◼ 计算机已经渗透到我们工作和 生活的方方面面，成为我们工 作和生活的一部分，从而极大 地促进了社会的发展和生产力 的提高。 • 各种计算机系统由于其中的软件 系统失效经常表现不尽人意，呈 现出脆弱、难以信任的特征，甚 至造成不可挽回的损失
欧洲阿丽亚娜5型火箭 1996年6月4日 因软件失效在 发射40秒后爆 炸,原因是惯 性参考系统 软件的数据 转换异常造 成的失效
欧洲阿丽亚娜5型火箭 1996年6月4日 因软件失效在 发射40秒后爆 炸，原因是惯 性参考系统 软件的数据 转换异常造 成的失效
美国F22猛禽战斗机 2007年2月9 日同样因软 件问题延迟 在日本部署 2004年12月20日,美空军第422测试评估大队的 架F22战斗机因软件问题在起飞过程中失控坠毁
美国F-22猛禽战斗机 2004年12月20日，美空军第422测试评估大队的一 架F-22战斗机因软件问题在起飞过程中失控坠毁。 2007年2月9 日同样因软 件问题延迟 在日本部署