HybridHP:一种轻型的内核完整性监控方案及其形式化验证

来源 :计算机学报 | 被引量 : 0次 | 上传用户:man168176
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要的虚拟化能力,提出了一个新型的通用的虚拟化监控框架HybridHP,并实现其原型.HybridHP将管理域和虚拟机监控机制两者整合到被监控操作系统的地址空间,具有很好的获取被监控系统操作语义的能力.利用Isabelle/HOL形式化辅助证明工具验证HybridHP的隔离性、安全性和
其他文献
目的 观察胸腺肽α1对乙型肝炎相关慢加急性肝衰竭(HBV-ACLF)疗效及短期预后的影响。方法 回顾性分析2012年1月至2018年10月于上海交通大学医学院附属瑞金医院感染科住院的HB
目的 探讨转录因子(Snail)蛋白和细胞外基质蛋白1(extracellular matrix protein 1,ECM1)在原发性肝癌(HCC)中的表达及与其临床特征和预后的相关性。方法 选取2012年1月至201