| 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)
|
|---|
| 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.
|
