DTE模型在XCP系统中设计与实现

来源 :东华大学 | 被引量 : 0次 | 上传用户:xjwyx770729
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
虚拟化安全问题是虚拟化技术发展中不可忽视的问题。本课题由“核高基”重大专项资金资助,结合我国高新技术发展中虚拟化平台的安全需求而提出。课题研究的重点是作为虚拟化平台之一的XCP (Xen Cloud Platform)(?)口何保证平台上资源的完整性。完整性是系统资源在访问控制中保证准确性和可靠性的重要依据,完整性问题是迫切需要解决的问题。本文在分析XCP系统完整性现状的基础上,比较现有的完整性模型之间的优缺点,针对XCP存在的完整性问题,提出将DTE(Domain Type Enforcement)模型引入XCP中,设计和实现针对XCP的新型DTE模型并对关键技术进行实现,最后采用攻击测试及举例说明对完整性进行验证,说明DTE模型引入XCP系统之后,解决了完整性保护不足的问题,使其完整性得到增强。本文中DTE模型的引入能够有效的保护XCP中资源的完整性。改进后的系统平台在进行访问控制时需进行完整性检查,保证XCP平台中资源的完整性,提高XCP平台的安全性。
其他文献
随着网络的普及,个人网站、个人论坛层出不穷,如何才能在芸芸众生中脱影而出,想必大家都有自己的一套生存之道。笔者觉得与其它站点互换链接就是一个不错的办法,既不耗费资源又能
河南省交通运输厅日前下发通知,要求对运输持有2019年联合收割机插秧机跨区作业证的车辆免收通行费。2018年,该项政策累计减免通行费用6967.45万元。据了解,农业农村部为2019
针对双功能深海潜器在滑翔模式和巡航模式切换时滤波震荡甚至发散的问题,提出了一种改进的基于INS/GPS/电子罗盘的自适应联邦滤波算法。为了得到更优的全局状态估计,设计了基
3月26日上午,山西省农机局在太原市召开了全省农机社会化服务管理工作培训会,省农机局总工程师张本源出席会议并作重要讲话,社会化服务管理处全体成员、各市分管农机社会化服
乔治·戈登·拜伦是十九世纪英国伟大的浪漫主义诗人与杰出代表,他通过诗歌的形式,塑造了一系列具有鲜明特色的“拜伦式英雄”形象。这些英雄人物具有许多共性:叛逆,孤独,却又
城市水污染是影响城市环境的重要因素,加强城市污水处理能够促进城市环保工程的优化开展,为和谐城市的构建提供良好的支持。本文联系城市污水对环境保护工程的重要性,对有效
4月19日,山西省农机局在太原召开2018年全省农机购置补贴政策暨廉政警示教育培训会议,各市农机局(中心)分管局长(主任)、负责农机购置补贴工作的科(站)长、操作员,各县(市、区)农机局