基于虚拟化技术的可信计算环境研究

可信计算对国家各种关键应用系统中安全保障与可信问题具有重要意义。然而，当前基于TCG的信任链传递模型由于传统操作系统的不可信性而受到限制。本项目基于我们首次提出的基于虚拟化的可信进程保护与隔离模型，研究在该模型下进程和操作系统动态可信保障，可信虚拟平台的维护，并对可信进程与非可信进程的可信互操作进行进一步研究，从而设计并实现一种基于虚拟化技术的可信计算环境。拟研究的项目允许在通用的操作系统中，通过可信隔离并实现进程的可信运行，并可以使得可信进程与其它普通进程进行可信互操作, 同时保证当前系统的易用性与可维护性。本项目的研究针对当前可信计算技术的发展瓶颈问题，所研究的内容将推动国际可信计算研究的发展，并为可信计算技术在国家关键应用领域和其它重要企业信息化领域中大规模应用打下坚实基础。