面向虚拟机安全的信息流控制模型及其关键技术研究

来源 :解放军信息工程大学 | 被引量 : 1次 | 上传用户:cx2cx2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
伴随云计算与大数据的兴起,信息技术正逐渐在更深层次上改变着人们的生活方式与工作方式。然而,云计算飞速发展的势头下是始终伴随着的安全问题,特别是由于云计算的工作方式使得数据不再由用户自主管理,而是提交到云端由服务商统一管理维护,导致数据的所有权与控制权分离,数据的安全保护面临更大的挑战。传统的访问控制技术不能对数据实施有效的信息传播控制,无法充分保护数据机密性和完整性,不适宜实现虚拟化环境下数据与隐私的保护。信息流控制技术能有效对数据进行信息传播控制,但当前的信息流控制技术主要面向集中式管理的传统单机操作系统,不适应网络化虚拟化的云系统。突出表现在信息流控制的策略管理、控制技术和侧信道防御方面存在不足。同时,虚拟化技术是云计算的关键性支撑技术,因此,本文将重点研究基于信息流控制的虚拟机安全方法。主要工作包括:1.安全模型是信息流控制的依据,针对现有模型在控制粒度、灵活性、自主性、用户利益冲突等问题上的不足,提出一种基于混合流策略的按需分布式云信息流控制模型(Mixed Flow Policy Based On-Demand Distributed Cloud Information Flow Control Model,简称MDIFC)。模型以分布式信息流控制模型为基础保证模型的灵活性,针对云计算环境下用户关系复杂产生的利益冲突问题引入中国墙策略,引入污点传播思想跟踪敏感数据实现细粒度的策略跟踪实现,从而为云计算用户数据提供更好的安全保障。为降低污点传播机制对系统性能的影响,对敏感数据采取按需控制。利用演算对模型规格进行形式化描述,并借助工具PicNic证明模型的无干扰性。模型能够细粒度地处理云计算中复杂的用户关系,应对云计算环境下管理权与操作权分离引起的安全问题。2.信息流控制机制是模型实现的关键,针对现有信息流控制机制缺乏敏感数据网络传输保护控制手段的问题,提出以属性加密技术为基础的信息流控制机制。创新性地将基于属性的加密技术同信息流控制技术相结合。通过对用户私钥和访问树的生成方法的重新设计,减少用户制定访问策略工作,以信息流控制策略为指导,对数据进行加解密,使云中数据的保护更具实效。对方法进行原型实现并进行性能测试,实验结果表明本方法能以较低的开销灵活有效地保护数据安全。3.侧信道攻击是云计算虚拟机安全面临的重要威胁,为防止攻击者利用虚拟机间的侧信道实施旁路攻击,设计Xen虚拟机中抗侧信道攻击的VCPU调度算法。算法形式化同驻虚拟机泄露量的产生。通过评估系统的泄露量对虚拟机进行调度,降低信道建立频率。针对云环境下不同虚拟机的工作需求分别提出面向计算型的调度算法与面向延迟敏感型的调度算法。仿真实验结果表明,算法能有效降低泄露风险。4.设计并实现一个面向虚拟机的高效细粒度的信息流控制系统VDIFC。首先,分析系统的设计思想与组成结构;然后给出各模块关键技术的实现方法。结果表明本文所提理论的可行性。
其他文献
青铜爵的造型独特,尤其是口部的设计,前有流,后有尾,流与杯口之间有柱.柱的位置距流根处很近,绝大多数为双柱.作者通过测量陕西先秦青铜爵的流与柱的距离、夹角,以探究青铜爵
瑞蚨祥的经营方略所蕴涵的商业道德任云兰瑞蚨祥绸缎店由山东章丘孟家创办,于清末民初发展到鼎盛时期,在京津、沈阳、汉口、哈尔滨、烟台等地都设有分店。作为主要发家人的孟乐
彩信手机报的成功彩信手机报由于简单易用、手机适用范围广,可基本满足大部分人群的新闻阅读需求,近年来在报业、新闻单位和运营商的大力推广下取得了巨大的成功。据中国互联
目的 SARS-CoV起源仍未清楚,本文应用系统发育分析方法重建有根系统发育树,比对文献资料,提出SARS-CoV起源的新思考,为最终找到SARS-CoV的真实起源打下基础。方法在美国国立
晚清新政是由清政府主导的一场近代史上规模最大、范围最广的社会改革。虽然其不可避免的失败了,但这场强制性制度变迁推动了近代中国城市的发展,促使城市经济体系和社会结构
在中国,乳腺癌已成为威胁女性健康的“头号杀手”。根据国家癌症中心报告显示,2018年,我国女性乳腺癌的发病率已居国内女性恶性肿瘤首位。在一级预防尚无良策的情况下,针对适龄女
各省、市自治区革命委员会: 国务院同意商业部、外贸部、农林部关于发展狩猎生产的报告,现在转发给你们,望能认真研究和解决这方面存在的一些问题,把狩猎生产抓上去。 Revol
为提高汽车座椅乘坐的舒适性,本文主要研究磁流变阻尼器阻尼特性,搭建基于标准天棚控制策略的半主动座椅悬架控制试验台,开展磁流变半主动座椅的动态舒适性能试验。试验发现,
高中政治新课标指出:“要注意学科知识与生活主题相结合,恰当运用各模块的基本概念与方法,努力将基本观点、原理融人生活题材之中。”要实现这一目标,教师必须使思想政治课教学生
目的:本研究旨在通过对中国四个长寿地区(湖南省邵阳市隆回县、广西省桂林市永福县、安徽省亳州市谯城区、江苏省南通如皋市)长寿老人采取入户问卷调查,分析影响长寿的有效因