基于虚拟化平台的可信任计算基

摘要：

采用虚拟化技术来提高嵌入式设备的安全特性,避免了基于硬件方法带来的灵活性差、设备复杂度高和生产成本高的缺点.虚拟化平台SmartVP以软件方式实现了对系统环境的保护,SmartVP在ARM处理器上划分出两组并行的计算资源,分别运行标准的实时操作系统T-Kernel和通用操作系统Linux;通过保护T-Kernel上的软件代码和数据,实现了基础安全服务和接口,从而构造出一个可信任计算基.性能测试和实际应用结果均表明,SmartVP能够在提升嵌入式设备安全性的同时,有效地降低实施风险、时间和开发成本.

关键词：虚拟化平台、可信任计算基、半虚拟化、资源分区、嵌入式设备、系统管理程序

所属期刊栏目：43

分类号：TP316(计算技术、计算机技术)

资助基金：国家重点基础研究发展规划973计划2007CB310906;浙江省科技计划重点项目2006C21G2010099;国防基础科研项目A1420080190

在线出版日期：2009-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：276-282