一种基于CPU虚拟化功能的系统保护机制的研究与实现

来源 :中国人民大学 | 被引量 : 0次 | 上传用户:adder2001
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机技术和网络的发展,软件面临着越来越多的安全问题,人们对可信软件的需求也随之变得愈加强烈。可信软件的构建是当前国际上信息安全领域的研究热点。一般来说,软件包括应用软件和基础软件,应用软件往往依赖于基础软件,因此,建立基础软件的可信性是确保整个软件系统可信的根本所在。操作系统是最常见的基础软件,研究操作系统的可信性可以立足于建立操作系统安全敏感部分的可信性,一种建立操作系统安全敏感部分的可信性的方法是:利用完整性度量支撑机制对操作系统的安全敏感部分进行监测。度量机制是完整性度量支撑机制的核心组件。为使完整性度量支撑机制得到的监测结果令人信服,度量机制必须受到保护。因此,如何保护完整性度量支撑机制中的度量机制,对完整性度量支撑机制的正常工作乃至可信软件的构建都至关重要。  本文提出一种基于CPU虚拟化功能的保护机制,以完整性度量支撑机制中的度量机制为受保护对象,防止度量机制遭到恶意或无意篡改。将保护机制分成页表项管理模块和监控器模块,分别用以防御度量机制可能面临的两类篡改攻击。首先,当度量机制内存权限为可写时,其他软件可以直接篡改度量机制,针对这种情况,页表项管理模块修改度量机制的内存权限,保证其他软件运行时度量机制内存权限为不可写;其次,当度量机制内存权限为不可写时,其他软件可以先通过修改页表项使度量机制的内存权限变为可写,再实施篡改攻击,针对这种情况,监控器模块充分利用了CPU虚拟化功能,截获操作系统中的修改页表项行为,以禁止其他软件修改度量机制对应的页表项。  引入CPU虚拟化功能的原因是:要防止其他软件篡改度量机制,就需要截获操作系统中的修改页表项行为,在当前软件手段无法实现有效或高效的截获的情况下,希望通过挖掘现代硬件功能来解决这个问题,CPU虚拟化正是符合我们需求的硬件功能。  本文的主要贡献如下:  第一,提出一种基于CPU虚拟化功能的保护机制,以完整性度量支撑机制中的度量机制为受保护对象,防止度量机制遭到恶意或无意篡改;  第二,基于本文所提的保护机制,开发了相应的原型系统VIsolator,并进行了保护功能测试和性能测试,测试结果表明VIsolator能够有效地防止一个真实的度量系统遭到篡改。
其他文献
给定一条查询,近似查询返回数据集中与该查询相似的所有实体。在关系数据中,每个实体被表示为一个单一的记录,因此,使用基于记录级别的相似度评价方法即可用来评价关系数据中实体
定位有竞争力产品在微观经济学中有广泛的理论意义。微观经济学的一个中心思想就是如何优化配置资源,实现自身利益最大化。通过定位有竞争力产品,可以指导生产者利用有限的资源
游戏中的人工智能研究一直是人工智能领域的研究热点,在多种实际游戏场景中取得了很好的效果。本文分析了棋牌类游戏智能的研究现状,针对国内的热门牌类研究,对非完全信息下的牌
可靠组播是建立在组播传输之上的一种可靠传输机制,由于不同的组播应用对数据传输的要求也不尽相同,所以目前还没有一种可靠组播协议能够满足所有情况。  为了发展我国具有自
随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术是常见的软件质量保障技术。代码审查过程的
近年来,JavaScript作为客户端Web应用最受欢迎的编程语言,受到了学术界和工业界的广泛关注。客户端JavaScript具有三个显著特性:1)弱类型与高度动态;2)事件驱动;3)操作复杂DOM对象
高光谱成像技术是20世纪80年代初在遥感界发展起来的新兴研究领域,是上世纪末本世纪初的遥感前沿技术。高光谱遥感的光谱分辨率在可见光区高达纳米数量级,往往具有波段多的特点,在可见到近红外光谱区其光谱通道多达数十甚至数百。高光谱成像系统的传感器接收到的地面辐射,既包括了地面反射光谱信息,也记录了大气辐射传输效应引起的地面反射辐照度的变化信息。在实际传输过程中,由于受到大气分子、气溶胶等的吸收和散射,电
随着越来越多的音乐资源被上传到互联网上,使得用来处理音乐数据库的音乐信息检索系统受到了越来越多的关注。目前,很多音乐网站都是根据流派信息来组织数据库中的音乐资源,因此
近年来,大规模问题引起了人们越来越多的关注。大规模数据对机器学习算法提出了更高的计算复杂性要求:包括存储和计算两个方面。  支持向量机(Support Vector Machines,SVMs)
随着大量可无线联网的智能移动终端的出现,给用户的工作生活带来了诸多便利,使得基于位置的服务得到了快速的发展,但也向计算用户位置的无线定位技术提出了更新更高的要求:易用