基于tpm的可信多内核操作系统架构.pdfVIP

第 33 卷 第 10 期 武 汉 大 学 学 报 ·信 息 科 学 版 Vol . 33 No . 10 2008 年 10 月 Geomatics and Information Science of Wuhan U niver sit y Oct . 2008 文章编号 :167 18860 (2008) 文献标志码 :A SmartM K :基于 TPM 的可信多内核操作系统架构 1 1 陈文智 　黄 　炜 ( 1 　浙江大学计算机学院 ,杭州市浙大路 38 号 ,3 10027) 摘 　要 :提出了一个多内核架构 Smart M K 来支撑不同安全等级和类别的应用 。基于 TPM 和新的 CPU 安全 技术 ,实现了多内核之间的强隔离与安全通信机制 , 以软硬件协同保护的方式实现安全的操作系统运行环境 。 在 Smart M K 架构上提出了分层次的强制访问控制方模型 ,进一步降低复杂环境中的访问控制复杂度 。性能 测试和实际应用都表明 ,Smart M K 能够有效加强系统的安全性 , 同时很好地保证了系统的运行效率 。 关键词 : TPM ;多内核 ;可信操作系统 ;分层次强制访问控制 ;可信计算基 中图法分类号 : TP3 16 　　安全特性随着操作系统对实时程序和其他更 动 ;DKer nel 借助于 CKer nel 的基础启动 ,并建 多应用的支持 ,如数字版权保护[ 1 ] 、3 G 手机安全 立相应的数据流框架 ; 最后 ,支持虚拟化平台的 等问题而备受关注 。对系统安全内核的研究主要 VKer nel 从 CKer nel 和 DKer nel 获得支持 ,完 有独立安全 内核 、分离 内核[2 ] ( Sep aration Ker 成虚拟化平台 Smart V P 的启动 。 nel , S K) 以及最小权限分离 内核[3 ] ( lea st p rivi lege sep aration ker nel , L P S K) 三种 。双 内核技 [4 ] 术 属于分离内核的一种特别形式 ,其 目的是用 于提高Linux 实时性 ,但系统的稳定性并不可靠 。 虚拟化技术通过系统管理程序来简单灵活地实现 安全策略 ,而虚拟化平台本身的安全又成了另一 个问题 。可信硬件如可信平 台模块[ 5 ] ( t r u st ed p latfor m mo dule , TPM ) 和新 的 CPU 技术 , 如 SV M 和 TX T[ 6 ] 则提供了新的基础支持 。相关研 究包括 : IBM 提 出的 TC GLinux[ 7 ] 安全启动架 构 、McCune 等人提出的 SEA 架构[ 8 ] 。 图 1 　Smart M K 架构框图 Fig . 1 　St ruct ure of Smart M K 1 　SmartM K 的组成 1. 1 　支持构件模型的内核 CKernel CKer nel 类似于一个实时的微内核 ,其基本 Smart M K 具有 3 个运行于内核态的内核和 功能是 :支持线程调度 、地址空间管理和同步消息 多个运行于用户态的内核 ,如图 1 所示 。在典型 传递 。对 CKer nel 而言 ,每一个构件的运行形态