Study on Security Enhancement Techniques for Virtual Machine Monitors

我们为虚拟机监视器开发了安全增强技术。首先，我们研究了一种技术，用于开发软件的虚拟机监视器在一个高级编程语言。具体来说，我们开发了一个虚拟机监视器在一个纯函数式编程语言Haskell，并通过实验评估其可读性和性能。接下来，我们还研究了通过使用虚拟机监视器来增强安全性的系统。我们实现了一个防止缓冲区溢出攻击的安全系统，并通过实验证实，该系统实际上可以防止攻击。

We developed security enhancement techniques for virtual machine monitors. First, we investigated a technique for developing software of virtual machine monitors in a high-level programming language. Specifically, we developed a virtual machine monitor in a purely functional programming language Haskell, and evaluated its readability and performance through experiments. Next, we also investigated the systems that enhance the security by using a virtual machine monitor. We implemented a security system for preventing buffer overflow attacks, and confirmed through experiments that the system could actually prevent attacks.