2010 Fiscal Year Final Research Report
Study on Security Enhancement Techniques for Virtual Machine Monitors
| Project/Area Number |
19700024
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Software
|
|---|
| Research Institution | The University of Electro-Communications |
|---|
Principal Investigator |
OYAMA Yoshihiro The University of Electro-Communications, 大学院・情報理工学研究科, 准教授 (10361536)
|
|---|
| Project Period (FY) |
2007 – 2010
|
| Keywords | 仮想マシンモニタ / セキュリティ / オペレーティングシステム / システムソフトウェア / マルウェア |
|---|
| Research Abstract |
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.
|
