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
|
Project Status |
Completed (Fiscal Year 2010)
|
Budget Amount *help |
¥3,920,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥720,000)
Fiscal Year 2010: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2009: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2008: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
Fiscal Year 2007: ¥800,000 (Direct Cost: ¥800,000)
|
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.
|
Report
(6 results)
Research Products
(40 results)