非常重要的一篇关于软件可信研究的文章.pdfVIP

专题 第 6 卷  第 2 期  2010 年 2 月 软件可信性： 互联网带来的挑战 梅 宏 曹东刚 关键词 ：可信软件技术 北京大学 互联网与可信计算 启用即陷入瘫痪，凸显了软件的可用性和可伸 缩性问题；2005年11月1 日，日本东京证券交 互联网的普及和发展为人们提供了一种全 易所因为软件系统升级出现故障导致早间股市 球范围的信息基础设施，也为信息资源的广泛 “停摆”，凸显了可维护性问题；2003年8月 共享和利用提供了可能。互联网与通过它连接 14 日，因为软件问题导致美国和加拿大出现当 起来的各种软硬件基础设施形成了一个资源丰 时历史上最大的停电事故，凸显了可靠性问 富的计算平台，使软件的能力得到了进一步的 题；有关计算机病毒和蠕虫利用软件设计存在 延伸。同时，基于网络的信息化也使得表示、 的漏洞，入侵信息系统并造成巨大损失的案例 连接和控制现实世界的软件系统成为一种新型 也数量众多，凸显了安全性问题。 资源。但是，与传统信息系统不同的是，基于 随着可信性问题的日益突出，与可信保 网络的信息系统处于一个动态开放的环境中， 障相关的研究在全世界蓬勃开展起来，可信计 这虽然使其计算能力得到了延伸，但是也使 算成为国际研究的热点，发达国家的政府组 信息系统面临可信性问题的重大挑战：结构日 织、跨国公司和大型科研机构等已逐步认识到 趋复杂的网络化信息系统变得越来越脆弱，安 可信计算的巨大价值和前景，纷纷提出了各 全性 （Security ）、可靠性 （Reliab ility ）和可 自的研究计划。例如，美国国家科学基金会 用性 （Av ailab ility ）等问题日益凸显，常常使 （National Science Foundation ，N SF ）制定了 得信息系统不能以人们所期望或信任的方式工 一个可信计算计划，重点关注为管理网络世界 作。例如，当发生各种故障和错误或受到攻击 的安全和隐私建立合理的科学和技术基础；微 和侵害时，系统往往无法正常工作，进而直接 软公司也提出了一个10年的 “可信赖的计算” 或间接地对用户和社会造成损害。 的重点战略，其目标是 “让计算机能够更加安 在互联网的发展历史中，由于可信性问题 全与稳定，让人们对于计算机的信任就像对电 引发的麻烦、损失甚至灾难不胜枚举。例如： 力和电话的使用一样”；国际组织TCPA/TCG1 2007年10月，由于北京奥运会门票系统的实际 正致力于促进新一代具有安全、信任能力的硬 访问量远远超过其设计容量，使得该系统一经 件计算平台的发展。 1 Trusted Computing Platform Alliance，可信计算平台联盟，由英特尔公司发起的一个组织；Trusted Computing Group，可信计算组织。 20 第 6 卷  第 2 期  2010 年 2 月 与各种可信计算研究计划相对应，各种可 赖的服务，提高软件的可信度，是可信计算的 信概念和术语也纷纷出现，常见的英文术语有 核心问题，是国际软件产业和学术界关注的焦 Tru stw orthin ess （可信任度）、Dep endab ility 点，也是未来软件技术发展和信息产业发展的 （可信赖性 ）、C o n f i d e n c e （自信力 ）、 关键技术基础。 Assurance （保全）、