Fine-grained Security Mechanisms Using Virtual Machines

• Project/Area Number: 19700022
• Research Category: Grant-in-Aid for Young Scientists (B)
• Allocation Type: Single-year Grants
• Research Field: Software
• Research Institution: Kyushu Institute of Technology (2008-2009); Tokyo Institute of Technology (2007)
• Principal Investigator: KOURAI Kenichi Kyushu Institute of Technology, 大学院・情報工学研究院, 准教授 (60372463)
• Project Period (FY): 2007 – 2009
• Project Status: Completed (Fiscal Year 2009)
• Budget Amount: ¥3,830,000 (Direct Cost: ¥3,200,000、Indirect Cost: ¥630,000); Fiscal Year 2009: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2008: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000); Fiscal Year 2007: ¥1,100,000 (Direct Cost: ¥1,100,000)
• Keywords: ディペンダブルシステム / 仮想計算機 / セキュリティ / アクセス制御 / スケジューリング / オペレーティングシステム / ディペンダプルシステム

Research Abstract

We have developed fine-grained access control systems using OS-level information in the virtual machine monitor (VMM). The developed systems prevent only illegal file accesses and communication even if the attackers take the control of an OS. We have also developed a system in which the VMM directly changes OS-level scheduling. Through the development of these systems, we defined a new interface necessary for using OS-level information in the VMM.

Research Products

• [Journal Article] Application-Level Scheduling Using AOP (2009)
  • Author(s): K. Kourai, H. Hibino, S. Chiba
  • Journal Title: Transactions on Aspect-Oriented Software Development V 5490巻 Pages: 1-44
  • Peer Reviewed
• [Journal Article] デスクトップPCのための安全なファイルアクセス制御 (2008)
  • Author(s): 滝澤裕二, 光来健一, 千葉滋, 柳澤佳里, SAccessor
  • Journal Title: 情報処理学会論文誌:コンピューティングシステム 1巻 Pages: 275-285
  • Peer Reviewed
• [Journal Article] 仮想マシン間にまたがるプロセススケジューリング (2008)
  • Author(s): 田所秀和, 光来健一, 千葉滋
  • Journal Title: 情報処理学会論文誌:コンピューティングシステム 1巻 Pages: 124-135
  • NAID: 110007990178
  • Peer Reviewed
• [Journal Article] XenのI/O処理を追跡するためのアスペクト指向プロファイラ (2008)
  • Author(s): 柳澤佳里, 光来健一, 千葉滋, XenLASY
  • Journal Title: 情報処理学会論文誌:プログラミング 49巻 Pages: 51-61
  • Peer Reviewed
• [Journal Article] SAccessor : デスクトップPCのための安全なファイルアクセス制御 (2008)
  • Author(s): 滝澤裕二
  • Journal Title: 情報処理学会論文誌 : コンピューティングシステム 1 Pages: 275-285
  • Peer Reviewed
• [Journal Article] 仮想マシン間にまたがるプロセススケジューリング (2008)
  • Author(s): 田所秀和
  • Journal Title: 情報処理学会論文誌 : コンピューティングシステム 1 Pages: 124-135
  • Peer Reviewed
• [Journal Article] XenLASY : xenのI/O処理を追跡するためのアスペクト指向プロフアイラ (2008)
  • Author(s): 柳澤、光来、千葉
  • Journal Title: 情報処理学会論文誌:プログラミング 49 Pages: 51-61
  • Peer Reviewed
• [Journal Article] OSカーネル用アスペクト指向システムKLASY (2007)
  • Author(s): 柳澤、光来、千葉、石川
  • Journal Title: 情報処理学会論文誌:プログラミング 48 Pages: 176-188
  • NAID: 110006291065
  • Peer Reviewed
• [Journal Article] Fast Software Rejuvenation of Virtual Machine Monitors
  • Author(s): K. Kourai, S. Chiba
  • Journal Title: IEEE Transactions on Dependable and Secure Computing (採録決定)
  • Peer Reviewed
• [Journal Article] Fast Software Rejuvenation of Virtual Machine Monitors
  • Author(s): K.Kourai, S.Chiba
  • Journal Title: IEEE TDSC (掲載決定)
  • Peer Reviewed
• [Presentation] XenにおけるゲストOSの解析に基づくパケットフィルタリング (2009)
  • Author(s): 安積武志
  • Organizer: ソフトウェア科学会第26回大会
  • Place of Presentation: 島根大学
  • Year and Date: 2009-09-18
• [Presentation] XenにおけるゲストOSの解析に基づくパケットフイルタリング (2009)
  • Author(s): 安積、光来、千葉
  • Organizer: ソフトウェア科学会第26回大会
  • Place of Presentation: 島根大学
  • Year and Date: 2009-09-18
• [Presentation] VMMのソフトウェア若化を考慮したクラスタ性能の比較 (2009)
  • Author(s): 光来健一
  • Organizer: 第7回ディペンダブルシステムワークショップ
  • Place of Presentation: 函館大沼プリンスホテル
  • Year and Date: 2009-07-15
• [Presentation] VMMのソフトウェア若化を考慮したクラスタ性能の比較 (2009)
  • Author(s): 光来
  • Organizer: 第7回ディペンダブルシステムワークショップ
  • Place of Presentation: 大沼プリンスホテル
  • Year and Date: 2009-07-15
• [Presentation] 仮想マシン間プロセススケジューリングの実環境への適用にむけて (2009)
  • Author(s): 田所秀和
  • Organizer: 第111回OS研究会
  • Place of Presentation: 沖縄県青年会館
  • Year and Date: 2009-04-24
• [Presentation] セキュリティ機構のオフロードを考慮した仮想マシンスケジューラ (2009)
  • Author(s): 新井昇鎬
  • Organizer: ミニVMワークショップ
  • Place of Presentation: 秋葉原ダイビル
  • Year and Date: 2009-03-18
• [Presentation] 仮想マシンに対する高いサービス可用性を実現するパケットフィルタリング (2008)
  • Author(s): 安積武志
  • Organizer: 第6回ディペンダブルシステムワークショップ
  • Place of Presentation: 函館大沼プリンスホテル
  • Year and Date: 2008-07-04
• [Presentation] 仮想マシンに対する高いサービス可用性を実現するパケットフィルタリング (2008)
  • Author(s): 安積武志
  • Organizer: 第6回ディペンダブルシステムワークショップ
  • Place of Presentation: 函館
  • Year and Date: 2008-07-04
• [Presentation] 仮想マシン間にまたがるプロセススケジューリング (2008)
  • Author(s): 田所秀和
  • Organizer: 第6回先進的計算基盤システムシンポジウム
  • Place of Presentation: つくば国際会議場
  • Year and Date: 2008-06-13
• [Presentation] Preventing Performance Degradation on Operating System Reboots (2008)
  • Author(s): K. Kourai
  • Organizer: International Service Availability Symposium
  • Place of Presentation: 東京大学
  • Year and Date: 2008-05-20
• [Presentation] Preventing Performance Degradation on Operating System Reboots (2008)
  • Author(s): Kenichi Kourai
  • Organizer: International Service Availability Symposium
  • Place of Presentation: 東京
  • Year and Date: 2008-05-20
• [Presentation] セキュリティ機構のオフロードを考慮した仮想マシンスケジューラ (2008)
  • Author(s): 新井昇鎬
  • Organizer: ミニVMワークショップ
  • Place of Presentation: 東京
  • Year and Date: 2008-03-18
• [Presentation] SAccessor:デスクトップPCのための安全なファイルアクセス制御システム (2007)
  • Author(s): 滝澤裕二, 光来健一, 千葉滋, 柳澤佳里
  • Organizer: 第19回コンピュータシステム・シンポジウム
  • Place of Presentation: 東京ファッションタウン
  • Year and Date: 2007-11-27
• [Presentation] SAccessor : デスクトップPCのための安全なファイルアクセス制御システム (2007)
  • Author(s): 滝澤、光来、千葉、柳澤
  • Organizer: 第19回コンピュータシステム・シンポジウム
  • Place of Presentation: 東京
  • Year and Date: 2007-11-27
• [Presentation] A Fast Rejuvenation Technique for Server Consolidation with Virtual Machines (2007)
  • Author(s): K. Kourai. S. Chiba
  • Organizer: DSN 2007
  • Place of Presentation: Edinburgh
  • Year and Date: 2007-06-27