一种可配置的可信引导系统.pdfVIP

第 卷第 期 中国科学院研究生院学报 ２５ ５ Ｖｏｌ．２５ Ｎｏ．５ 年 月 ２００８ ９ ＪｏｕｒｎａｌｏｆｔｈｅＧｒａｄｕａｔｅＳｃｈｏｏｌｏｆｔｈｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ Ｓｅｐｔｅｍｂｅｒ ２００８  文章编号： （ ） １００２１１７５２００８０５０６２６０５ 一种可配置的可信引导系统 １ ２ １ 徐 震 沈丽红 汪 丹 （中国科学院软件研究所，信息安全国家重点实验室，北京 ； 中国科学院研究生院，北京 ） １ １０００８０ ２ １０００４９ （ 年 月 日收稿； 年 月 日收修改稿） ２００７ ９ １２ ２００７ １１ ２７ ， ， ： ＸｕＺ ＳｈｅｎＬＨ ＷａｎｇＤ．ＬＯＩＳｇｒｕｂ ａｃｏｎｆｉｇｕｒａｂｌｅｔｒｕｓｔｅｄｂｏｏｔｉｎｇｓｙｓｔｅｍ．ＪｏｕｒｎａｌｏｆｔｈｅＧｒａｄｕａｔｅＳｃｈｏｏｌｏｆｔｈｅＣｈｉｎｅｓｅ ， ， （）： ＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅｓ２００８２５５ ６２６～６３０ 摘 要 引导过程的安全是计算机系统安全的基点，安全的引导系统需要保证系统加电后引 导执行链条中的实体未受篡改 当前，基于可信平台模块（ ）开展的可信引导工作，仅能可 ． ＴＰＭ 信地记录并报告系统引导的证据链，无法进行验证以及进一步的处理 提出一种可配置的可 ． 信引导系统，可以配置认证引导和安全引导，支持细粒度的文件验证，以及操作系统内核的可 信恢复 给出了系统的设计思想，并介绍了其原型工作，实验表明该系统能够有效实现其设计 ． 目标． 关键词 可信平台模块，可信引导，可信计算 中图分类号 ＴＮ３９３０８ １ 引言 可信计算的重要思想之一就是通过硬件保证计算机系统的计算环境和运行系统的完整性，来保证 运行系统的行为是可信的 计算环境完整性保证的基础就是系统的引导过程的安全性 引导过程可以 ． ． 看作是一个链条，从ＢＩＯＳ、引导程序到操作系统内核，控制沿这个链条逐步转移，我们称链中的实体为 引导实体 所以，为了保证计算环境的完整性，就必须保证这个链条中每一步引导实体的完整性 现有 ． ． 的引导方案的设计主要有两个思路：安全引导与认证引导． 安全引导要求在引导过程中，只有在前一步骤的引导实体检查并确认下一步骤引导实体完整性之 后，才将控制权转交给它，而引导过程中各个步骤中的实体的完整性验证值存储在一个受保护的环境 中 然而，在这种引导方法中，引导过程中的各个引导实体的完整性验证值存储在一个相对静态的受保 ． 护的环境中，从而导致系统的引导过程非常僵化，不易于管理，并且额外的硬件需要更高的成本；同时， 安全引导过程中如果遇到某一步的实体发生变更，将系统的引导过程终止，这样一来导致系统非常容易 遭受拒绝服务攻击，严重影响系统的可用性． 认证引导并不检查下一步骤引导实体的完整性，而只是计算其完整性度量值，并通过防篡改的硬件 对其进行保护 在完成引导过程后，引导链条