Isabelle形式化验证相关硕士博士期刊学术论文 - 搜论网

Isabelle形式化验证相关论文

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

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带......

期刊

硬件虚拟化内核完整性安全监控安全攻击 Isabelle形式化验证 hardware virtualization kernel integrity s

看过本文同时还关注