硬件虚拟化

作品数:45被引量:150H指数:6
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:曾庆凯伏晓骆斌杨轶黄皓更多>>
相关机构:南京大学比特梵德知识产权管理有限公司上海交通大学华为技术有限公司更多>>
相关期刊:《信息网络安全》《信息工程大学学报》《计算机应用》《电视工程》更多>>
相关基金:国家自然科学基金国家高技术研究发展计划江苏省科技支撑计划项目国家教育部博士点基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机学报x
条 记 录,以下是1-2
视图:
排序:
KCapISO:一种基于HybridHP的宏内核操作系统载入模块权能隔离方案被引量:1
《计算机学报》2016年第3期552-561,共10页钱振江 刘永俊 汤力 姚宇峰 黄皓 
国家自然科学基金(61402057);江苏省科技计划自然科学基金(BK20140418);中国博士后科学基金(2015M571737);江苏省"六大人才高峰"高层次人才基金(2011-DZXX-035);江苏省高校自然科学研究基金(12KJB520001)资助~~
宏内核操作系统提供对第3方模块和驱动程序等载入模块的支持,允许载入模块运行在内核态特权级.由于运行在最高特权级,载入模块对内核的核心服务的关键对象的访问难以得到系统的有效控制.考虑对被监控系统的性能影响控制在很小的范围,基...
关键词:宏内核操作系统 载入模块 硬件虚拟化 权能隔离 安全监控 
HybridHP:一种轻型的内核完整性监控方案及其形式化验证被引量:2
《计算机学报》2012年第7期1462-1474,共13页钱振江 刘苇 黄皓 
国家"八六三"高技术研究发展计划项目基金(2007AA01Z409);江苏省科技支撑计划自然科学基金(BE2008124);江苏省"六大人才高峰"高层次人才项目(2011-DZXX-035)资助~~
虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要...
关键词:硬件虚拟化 内核完整性 安全监控 安全攻击 Isabelle形式化验证 
检索报告 对象比较 聚类工具 使用帮助 返回顶部