第14讲 可信计算.ppt

第15讲 可信计算 一、可信计算的事故 二、可信计算的重要概念 三、可信计算的发展历程 四、国外可信计算的研究进展 五、我国的可信计算 背景材料 * * 张凯 博士 教授计算机科学技术系电话邮件：lifo@public.wh.hb.cn 一、可信计算的事故 　　我们先来举出几个事例说明可信计算技术在传媒界受到的挑战。这些例子当然也是对整个可信计算技术的，但与传媒界特别有关系。 　　1．1994年，英特尔公司刚刚推出奔腾处理器。一位加拿大的教授发现，奔腾芯片浮点运算有出错的情况。不过，出错概率很小，约在90亿次除法运算中可能出现1次错误。英特尔为此损失了5亿美元。微处理器现在是到处都用，在传媒界就更不用说了。 　　2．1996年6月4日，欧洲阿丽亚娜5型火箭在首次发射中，由于软件数据转换错误导致火箭发射40秒后爆炸，经济损失25亿美元。 　　4．2002年９月，覆盖中国全国的鑫诺卫星多次遭到非法电视信号攻击，一再以非法信号持续攻击正常的卫星通信。这也提出了如何从技术上保证传媒可信性的问题。 　　5．2003年5月，由于飞船的导航软件设计错误，俄罗斯“联盟-TMA1”载人飞船返回途中偏离了降落目标地点约460公里； 　　6．2003年8月14日，在美国电力系统中，由于分布系统软件运行失效，造成了美国东北部大面积停电，损失超过60亿美元； 　　7.　2005年7月，北京部分地区出现上网中断问题，很多ADSL以及宽带用户断网超过30分钟。通信线路中断故障不时出现。美国1990年一次电话网故障引起整个东部地区电话不通。 　　8. 2004年9月14日，由于空管软件中的缺陷，美国洛杉矶机场400余架飞机与机场一度失去联系，给几万名旅客的生命安全造成严重威胁； 　　9.2005年11月1日，日本东京证券交易所由于软件升级出现系统故障，导致股市停摆； 　　10.2006年4月20日，中国银联跨行交易系统出现故障，整个系统瘫痪约8小时； 　　11.2006年6月初我国某验证飞机因软件缺陷坠毁； 　　12.2006年，中航信离港系统发生了三次软件系统故障，造成近百个机场登机系统瘫痪； 　　13.据2007年3月5日美国《国防新闻》网站报道，2月11日，12架“猛禽”战机(见图1)从夏威夷飞往日本，在穿越国际日期变更线时出现了软件问题，飞机失去了所有的导航和通讯资料，飞机只能借助目视导航以及基本的无线电通讯手段才得以返航。当时，飞机上的全球定位系统纷纷失灵，多个电脑系统发生崩溃，多次重启均告失败。飞行员们无法正确辨识战机的位置、飞行高度和速度，随时面临着“折戟沉沙”的厄运。最后，他们不得不掉头返航，折回到夏威夷的希卡姆空军基地。 　　另据美联社2月28日报道，在飞往日本的F-22A中，有多架飞机的导航及飞行控制软件系统出现问题，导致飞行数据运算差错以及飞行指令误报。据美国空军官员透露，至少有3架战机的飞行员通过触摸式显示屏，发现座机导航系统提供的目标信息不大对劲，特别是在飞越东太平洋马绍尔群岛上空时，导航系统显示的时间与地理方位坐标都出现大量错误信息，明明是白天“AM”时间，显示屏上却报出晚间“PM”时间，幸亏飞行员始终与地面指挥中心保持实时沟通，没有造成大的差错。另外，F-22A战机的飞行控制系统也不稳定，有飞行员反映在跨洋飞行过程中，飞控系统显示的飞机高度值与实际高度有较大差距。这是一个可怕的问题，因为飞行员所能看到的空间几乎都是海天一色，没有任何坐标参照物，一旦飞机控制系统自身报错数据，飞行员很容易误判，导致机毁人亡。 　　随后，事故分析原因得出的结论是：“战机在飞越国际日期变更线时，机载软件故障导致卫星失灵。”尽管48小时内生产商交付了补丁程序，但件事引发的思考是深沉的。这种造价3.3亿美元、“第四代”最先进战机，按理说不应该出这样的问题，因为它有软件代码170万条，设计和测试绝对严格，可问题偏偏出现了，而且是一起因微小设计缺陷导致的严重质量事故。 　　现在网络受到攻击的事件层出不穷，不胜枚举。电视信号偶然中断或不清晰，用户也常有感知。据美国卡内基梅隆大学统计，在互联网上，2001年出现52，655次入侵事件，而2002年前三季度已达73，359次，可见增长速度之快。 　　所有这些问题技术上无非是由于硬设备故障、线路故障、软件故障或人为故障。可信计算技术就是要在有故障的情况下，仍然让系统能正常工作，或者有紧急预案，自动处理。 　　14. 2008年1月24日，法国兴业银行在一份公开电子邮件声明中自揭家丑：该行旗下巴黎的一名交易员盖维耶尔（Jerome Kerviel）秘密建立了欧洲股指期货相关头寸，此举超出了其职务允许范围，造成兴业银行49亿欧元损失。检察机构指控他“滥用信用”、“伪造及