摘要: 应用程序间虚拟隔离是构建可信应用环境的重要途径之一。由于应用程序的来源不同,系统对其的信任程度也不相同,而在同一个系统中运行的应用程序在运行中可能会调用信任度不同的应用程序或组件,低可信度的应用程序在和高可信度的应用程序进行交互的过程... 展开 应用程序间虚拟隔离是构建可信应用环境的重要途径之一。由于应用程序的来源不同,系统对其的信任程度也不相同,而在同一个系统中运行的应用程序在运行中可能会调用信任度不同的应用程序或组件,低可信度的应用程序在和高可信度的应用程序进行交互的过程中会对高可信度程序产生影响,有使其可信度降低的可能性。本文采用对可信度不同的应用进行虚拟隔离,控制不同隔离域的应用间的信息交互,构建应用间信息交互的可信环境。 本文在分析研究大量可信计算和实现软件隔离的相关技术文献的基础上,得到如下研究成果: 1)本文研究了实现虚拟隔离相关的安全策略,在已有的基于DTE策略的安全隔离模型的基础上,为该模型融入了可信计算的相关概念和技术,采用Z规范语言,提出一个新的可信隔离模型,为应用程序隔离的系统设计和实现建立一个理论模型。 2)研究实现虚拟隔离相关技术,采用虚拟化技术,在可信隔离模型的理论基础上,给出应用虚拟隔离的系统设计,对可信系统中的关键部件TPM进行虚拟,分析隔离域间信任链的传递以及隔离域的可信启动问题,为应用程序的隔离搭建系统环境。 3)在应用虚拟隔离的系统设计中,研究隔离域间的通信问题,采用访问控制机制和动态度量机制,在隔离域间建立管道机制,保证域间信息流的可信流动； 收起