仮想マシンによる動的情報流追跡の実現

• 研究課題/領域番号: 20700020
• 研究種目: 若手研究(B)
• 配分区分: 補助金
• 研究分野: ソフトウエア
• 研究機関: 筑波大学
• 研究代表者: 品川 高廣 筑波大学, 大学院・システム情報工学研究科, 講師 (40361745)
• 研究期間 (年度): 2008 – 2009
• 研究課題ステータス: 完了 (2009年度)
• 配分額: 4,290千円 (直接経費: 3,300千円、間接経費: 990千円); 2009年度: 1,950千円 (直接経費: 1,500千円、間接経費: 450千円); 2008年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
• キーワード: 仮想マシンモニタ / セキュリティ / 動的情報流追跡 / 仮想マシン / 情報流追跡

研究概要

本研究では,仮想マシンの技術を利用した動的情報流追跡などにより,オペレーティングシステムが扱う情報の流れを監視・管理して,強固なセキュリティを実現する手法に関する研究を行った.仮想マシンモニタのレイヤでオペレーティングシステムからの入出力を監視・変更する技術を確立することにより,仮想マシンモニタのレイヤでオペレーティングシステムからファイルへのアクセスを把握して強力な保護が実現できるようになった.

研究成果

• [雑誌論文] Hypervisor-based Prevention of Persistent Rootkits (2010)
  • 著者名/発表者名: 忠鉢洋輔, 品川高廣, 加藤和彦
  • 雑誌名: In Proc.of the 25th ACM Symposium On Applied Computing 1 ページ: 214-220
  • 査読あり
• [雑誌論文] 実行時のフェーズを用いたセキュリティポリシー簡略化 (2009)
  • 著者名/発表者名: 品川高廣, 忠鉢洋輔, 河野健二, 加藤和彦
  • 雑誌名: 情報処理学会論文誌:コンピューティングシステム 第2巻 ページ: 166-177
  • 査読あり
• [学会発表] Hypervisor-based Prevention of Persistent Rootkits. (2010)
  • 著者名/発表者名: Yosuke Chubachi, Takahiro Shinagawa, Kazuhiko Kato
  • 学会等名: 25th ACM Symposium On Applied Computing (ACM SAC 2010)
  • 発表場所: Sierre, Switzerland
  • 年月日: 2010-03-24
• [学会発表] 仮想マシンモニタによるゲストOSのファイル保護. (2009)
  • 著者名/発表者名: 忠鉢洋輔, 品川高廣, 加藤和彦
  • 学会等名: 情報処理学会研究報告(2009- OS-111), 第111回システムソフトウェアとオペレーティングシステム研究会, 情報処理学会
  • 発表場所: 沖縄
  • 年月日: 2009-04-24
• [学会発表] 仮想マシンモニタによるゲストOSのファイル保護 (2009)
  • 著者名/発表者名: 忠鉢洋輔, 品川高廣, 加藤和彦
  • 学会等名: 第111回システムソフトウェアとオペレーティングシステム研究会
  • 発表場所: 沖縄 沖縄県青年会館
  • 年月日: 2009-04-24
• [学会発表] BitVisor: A Thin Hypervisor for Enforcing I/O Device Security. (2009)
  • 著者名/発表者名: Takahiro Shinagawa, Hideki Eiraku, Kouichi Tanimoto, Kazumasa Omote, Shoichi Hasegawa, Takashi Horie, Manabu Hirano, Kenichi Kourai, Yoshihiro Oyama, Eiji Kawai, Kenji Kono, Shigeru Chiba, Yasushi Shinjo, Kazuhiko Kato
  • 学会等名: 2009 ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2009)
  • 発表場所: Washington, DC, USA
  • 年月日: 2009-03-13