| 研究概要 |
仮想マシンモニタのための安全性向上技術について研究を行った.まず,仮想マシンモニタのソフトウェアを高級言語で開発する技術について研究を行った.具体的には,本研究では純粋関数型言語Haskell にて仮想マシンモニタを開発し,プログラムの読みやすさや性能を,実験を通じて評価した.また,仮想マシンモニタを用いてセキュリティを向上させるシステムについても研究を行った.本研究では実際にバッファオーバフロー攻撃を防止するための仮想マシンモニタを実装し,実験により確かに攻撃が防止できることを確認した.
|
