| 安全虚拟机监视器的形式化验证研究 |
| |
| 引用本文： | 陈昊,罗蕾,李允,陈丽蓉.安全虚拟机监视器的形式化验证研究[J].计算机科学,2019,46(3):170-179. |
| |
| 作者姓名： | 陈昊 罗蕾 李允 陈丽蓉 |
| |
| 作者单位： | 电子科技大学计算机科学与工程学院 成都611731;电子科技大学计算机科学与工程学院 成都611731;电子科技大学计算机科学与工程学院 成都611731;电子科技大学计算机科学与工程学院 成都611731 |
| |
| 基金项目： | “十二五”核高基重大专项 |
| |
| 摘 要： |
|
| 关 键 词： | 虚拟化技术 虚拟机监视器 安全隔离 形式化验证 功能正确性 |
Study on Formal Verification of Secure Virtual Machine Monitor |
| |
| CHEN Hao,LUO Lei,LI Yun,CHEN Li-rong.Study on Formal Verification of Secure Virtual Machine Monitor[J].Computer Science,2019,46(3):170-179. |
| |
| Authors: | CHEN Hao LUO Lei LI Yun CHEN Li-rong |
| |
| Affiliation: | (School of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu 611731,China) |
| |
| Abstract: | CHEN Hao;LUO Lei;LI Yun;CHEN Li-rong(School of Computer Science and Engineering,University of Electronic Science and Technology of China,Chengdu 611731,China) |
| |
| Keywords: | Virtualization technology Virtual machine monitor Security isolation Formal verification Functional correctness |
| 本文献已被 维普 万方数据 等数据库收录！ |
