检索结果-内蒙古大学图书馆

计算机应用 2014年第A2期34卷 194-199页

作者：王晓龙丁丽萍廖晓锋金波林渝淇王秀利王永吉中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100190 南昌大学信息工程学院南昌330031 公安部第三研究所信息网络安全重点实验室上海201204 中央财经大学信息学院北京100081

现有虚拟机监控器(VMM)动态完整性度量架构在度量信任根的安全性方面存在问题,同时没有综合考虑VMM中需要进行完整性度量的数据,为此提出了一种基于动态信任根的VMM动态完整性度量架构。采用基于AMD的安全虚拟机技术构建动态信任根,可... 详细信息

现有虚拟机监控器(VMM)动态完整性度量架构在度量信任根的安全性方面存在问题,同时没有综合考虑VMM中需要进行完整性度量的数据,为此提出了一种基于动态信任根的VMM动态完整性度量架构。采用基于AMD的安全虚拟机技术构建动态信任根,可以实现对度量程序加载执行前的完整性度量;同时构建封闭独立的执行环境,从而可以有效地解决度量信任根的问题。通过分析VMM运行时的内存状态,对所有需要进行完整性保护的静态持久化数据进行完整性度量,从而可以保证度量内容的完备性。同时给出该架构在Xen上的实现。实验结果表明,该架构可以有效地解决度量信任根的问题,并且对度量内容具有良好的扩展性,从而保证度量内容的完备性;此外,该度量架构与现有架构Hyper Check-SMM相比有23.3%的性能提升。

关键词：虚拟机监控器完整性保护可信计算动态信任根动态完整性度量

来源：评论

学校读者我要写书评

暂无评论

基于动态信任根的虚拟机监控器动态完整性度量架构

基于动态信任根的虚拟机监控器动态完整性度量架构

引用

2014年全国开放式分布与并行计算学术年会

作者：王晓龙丁丽萍廖晓锋金波林渝淇王秀利王永吉中国科学院软件研究所基础软件国家工程研究中心北京 100190 中国科学院大学北京 100190 中国科学院软件研究所基础软件国家工程研究中心北京 100190 南昌大学信息工程学院南昌 330031 公安部第三研究所信息网络安全重点实验室上海 201204 中央财经大学信息学院北京 100081

现有虚拟机监控器(VMM)动态完整性度量架构在度量信任根的安全性方面存在问题,同时没有综合考虑VMM中需要进行完整性度量的数据,为此提出了一种基于动态信任根的VMM动态完整性度量架构.采用基于AMD的安全虚拟机技术构建动态信任根,可以... 详细信息

现有虚拟机监控器(VMM)动态完整性度量架构在度量信任根的安全性方面存在问题,同时没有综合考虑VMM中需要进行完整性度量的数据,为此提出了一种基于动态信任根的VMM动态完整性度量架构.采用基于AMD的安全虚拟机技术构建动态信任根,可以实现对度量程序加载执行前的完整性度量;同时构建封闭独立的执行环境,从而可以有效地解决度量信任根的问题.通过分析VMM运行时的内存状态,对所有需要进行完整性保护的静态持久化数据进行完整性度量,从而可以保证度量内容的完备性.同时给出该架构在Xen上的实现.实验结果表明,该架构可以有效地解决度量信任根的问题,并且对度量内容具有良好的扩展性,从而保证度量内容的完备性;此外,该度量架构与现有架构HyperCheck-SMM相比有23.3％的性能提升.

关键词：虚拟机监控器动态信任根动态完整性度量架构安全性能

来源：评论

学校读者我要写书评

暂无评论

面向多域联合的服务可信关键技术研究

面向多域联合的服务可信关键技术研究

引用

作者：梅松竹国防科学技术大学

学位级别：博士

伴随着面向服务架构(Service-Oriented Architecture,SOA)的出现与发展,企业信息系统进入了服务化的时代。近年来云计算、移动计算等新型计算模式改变了信息系统的组织管理模式,同时也使得信息系统的设计与构建突破了传统的安全边界,给... 详细信息

伴随着面向服务架构(Service-Oriented Architecture,SOA)的出现与发展,企业信息系统进入了服务化的时代。近年来云计算、移动计算等新型计算模式改变了信息系统的组织管理模式,同时也使得信息系统的设计与构建突破了传统的安全边界,给信息系统的安全带来了新的挑战。一方面,利用服务化信息系统中信任缺失问题进行社会化攻击手段正在对服务化信息系统的安全造成越来越严重的冲击。而另一方面,信息系统中存在的漏洞和后门严重威胁着用户的数字资产,特别是“棱镜门”事件的曝光,将国家级别的黑客行为暴露在人们面前,更加重了人们对当前信息系统的信任危机。当前服务化信息系统中缺乏有效的技术手段支撑信任关系的建立,各参与方间的信任往往建立在社会化的规约和协议基础上,难以有效地保证信任的准确性。本文针对服务化信息系统的信任问题,以向服务化信息系统提供准确、可度量的信任保障机制为目标,对支持多域联合的服务信任保障模型、服务实体信任度量技术、服务跨域协作信任评估技术以及支持服务跨域可信协作的可信第三方技术等角度进行了广泛而深入的研究,取得的主要研究成果包括:1、提出了一种支持服务跨域联合的信任保障模型。该模型结合多域联合条件下服务协作的特点,综合考虑服务实体特性,服务生命周期各环节特点、域间安全策略等因素,分析跨域服务联合过程中建立动态信任的基本需求,对涉及多域联合条件下的服务协作中的关键概念进行形式化的定义、描述和分析,建立了一个基本的信任保障模型。在该基本模型基础上,进一步阐述服务实体全生命周期信任保障模型及服务跨域联合信任保障模型的实施方案。利用该模型可以有效地支持服务的动态跨域信任传递和可信组合。2、提出了一种基于Java虚拟机的服务运行时信任度量方法。本文选取主流的服务开发与部属平台Java技术平台,对服务实体运行时的控制流完整性机制进行了研究,针对Java虚拟机的运行机制,尤其是Java虚拟机内存管理与程序运行流程的特点,分析了传统控制流完整性机制在运用到Java环境中的缺陷与不足,设计了基于Java虚拟机的控制流完整性保障技术——CFI4J,并依托于Jikes RVM虚拟机对CFI4J机制进行了实现,并通过功能性测试与性能对比表明CFI4J机制可以对Java环境下的服务应用实体的控制流完整性做出有效地保障,能够提高对攻击的检出率,为服务实体的行为可信任性提供有效的评估方式。3、提出了一种基于使用控制的服务跨域信任评估方法。分析了使用控制模型的结构与原理,抽取使用控制模型中能够反映服务提供者行为与服务请求者使用预期一致性的关键因素,建立了面向使用控制的服务跨域协作信任评估模型;分析了XACML规范的结构体系与语言描述规范,实现了基于XACML语言表达的使用控制策略与信任模型的转换技术,并设计了针对一次会话过程中的访问过程动态信任度计算算法。通过测试发现,该信任评估方法能够较准确地反映服务提供者行为与请求者预期的相符程度。4、提出了基于动态度量根的服务多域联合信任保障框架。分析了服务信任评估关键技术自身的安全和可信需求,讨论了服务信任评估技术中需要重点保护的对象与模块,设计了基于Intel可信执行技术的服务多域协作信任保障框架的结构。并分别从信任链与可信证明机制和关键数据安全存储机制两个角度阐述了保障框架的关键技术,进一步说明了基于保障框架的工作原理与机制。以上研究成果针对服务化信息系统对信任的需求,在保证原有服务协作机制的可用性与灵活性的同时,为服务跨域协作提供了一套较为完备的信任评估与保障机制,可以有效地支撑服务化信息系统中信任关系的建立与维护,提高服务化信息系统应对非传统安全威胁的能力,具有一定的理论意义和实际应用价值。

关键词：信任管理可信计算面向服务架构 Java虚拟机使用控制控制流完整性动态信任根

来源：评论

学校读者我要写书评

暂无评论

虚拟机监控器的动态完整性保护技术研究

虚拟机监控器的动态完整性保护技术研究

引用

作者：王晓龙中国科学院大学

学位级别：硕士

随着云计算的普及和迅猛发展，计算资源不论从数量还是从规模上都不断扩展。虚拟化技术作为一种新的计算模式，已经成为行业内的研究热点，虚拟机监控器(VMM)得到了广泛的应用。由于VMM处于系统的最底层，控制着虚拟机(VM)对物理资源的... 详细信息

随着云计算的普及和迅猛发展，计算资源不论从数量还是从规模上都不断扩展。虚拟化技术作为一种新的计算模式，已经成为行业内的研究热点，虚拟机监控器(VMM)得到了广泛的应用。由于VMM处于系统的最底层，控制着虚拟机(VM)对物理资源的访问，其安全性日益引起广泛的关注。近些年来，出现了一系列针对VMM的攻击方式，他们通过修改运行时VMM的代码段、数据段以及CPU控制寄存器，或加载执行恶意代码，或提升客户VM权限，或将各种符号表指针指向恶意代码，从而达到攻击的目的。由于VMM体系结构的复杂性，目前针对运行时VMM内存数据是否被篡改的检测技术尚未成熟，本文将重点研究检测运行时VMM内存数据是否被篡改的关键技术。\n 完整性保护技术，指的是通过对数据进行完整性度量和远程验证，从而判断其是否被篡改，它是系统安全的重要保障。动态完整性保护技术指的是通过对运行时系统的代码段和数据段中的静态持久化的数据进行完整性度量，从而验证运行时系统是否被攻击。通过动态完整性保护技术，可以有效的检测出恶意进程对VMM代码段或静态持久化的数据进行篡改的攻击方式。\n 使用动态完整性保护技术对VMM进行完整性保护，一类解决方案是通过可信引导技术，从系统引导加载时开始构建可信链模型，通过逐级校验，从而保证加载运行的VMM和VM是可信的，同时将可信链传递到运行时，从而达到VMM动态完整性保护的目的。但是该方案可信链太长，鉴于VMM体系结构的复杂性，需要度量的内容太多，严重影响系统的性能。另一类更有效的解决方案是动态完整性保护方案，即在运行时对VMM加载到内存中的代码段和数据段数据进行完整性度量。但是现有的VMM动态完整性度量方案没有综合考虑完整性度量架构设计的三个关键因素，即度量时间、度量对象、度量在系统架构中的位置。同时在设计过程中，没有考虑度量过程本身可信性的条件，即起点可信、度量程序与系统的隔离性、与现有系统的契合度、最小化可信计算基TCB等，普遍存在TCB过于庞大、起点可信、度量内容不够完备等问题。\n 为了有效地实现对VMM的动态完整性保护，本文综合分析了完整性度量架构设计的三个关键要素和满足度量过程本身可信性的四个条件，提出了基于动态信任根的VMM动态完整性度量架构。该架构基于VMM体系结构提出了基于VMM层作为完整性度量的基点，实现度量程序与VMM的契合，通过在系统运行时引入动态信任根方案，可以在任意时刻对VMM进行完整性度量，可以实现对度量程序本身的完整性度量以保证起点可信，可以构建封闭独立的执行环境以保证度量程序和系统的隔离性，可以保证最小化TCB。此外，通过分析和提取VMM中的代码段，数据段中的静态持久化数据，以及CPU控制寄存器中的不变量，并对这些内容进行完整性度量，从而保证度量内容的完备性。通过度量和远程验证，以确定VMM的动态完整性是否被破坏，从而达到检测的目的。\n 最后，给出了该VMM动态完整性度量方案在Xen虚拟机监控器上的实现，实验结果表明该方案具有良好的可行性，可以有效的检测出针对Xen动态完整性的攻击，同时具有良好的性能。

关键词：虚拟机监控器完整性保护可信计算动态信任根动态完整性度量

来源：评论

学校读者我要写书评

暂无评论

可信执行技术的研究

引用

信息技术 2009年第9期33卷 56-58,61页

作者：郝旭东许春香电子科技大学计算机科学与工程学院成都610054

虚拟化技术是当前计算机世界研究的一个热点,同时被应用于云计算中,随着这些新技术的研究,同时也带来了一些安全问题,许多恶意程序在虚拟机启动时被触发,由此带动了可信执行技术也成为当前研究的热点。详细介绍了可信执行技术的特点和... 详细信息

虚拟化技术是当前计算机世界研究的一个热点,同时被应用于云计算中,随着这些新技术的研究,同时也带来了一些安全问题,许多恶意程序在虚拟机启动时被触发,由此带动了可信执行技术也成为当前研究的热点。详细介绍了可信执行技术的特点和原理机制,分析了可信执行技术的核心测量机制,并对目前可信执行技术的研究现状和存在问题做出了总结。

关键词：可信执行技术保护区域测量动态信任根虚拟机监视器

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：