• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2007 Fiscal Year Annual Research Report

仮想計算機を用いたきめ細かいセキュリティ機構の研究

Research Project

Project/Area Number 19700022
Research InstitutionTokyo Institute of Technology

Principal Investigator

光来 健一  Tokyo Institute of Technology, 大学院・情報理工学研究科, 助教 (60372463)

Keywordsディペンダプルシステム / 仮想計算機 / セキュリティ / アクセス制御 / スケジューリング / オペレーティングシステム
Research Abstract

仮想計算機モニタ(VMM)でファイルアクセス制御を行うことにより、攻撃によりOSが乗っ取られた場合でも不正アクセスを防ぐことができるシステムを開発した。このシステムではVMMがユーザに直接ダイアログを出して認証を行うことで、OSに頼らないセキュリティを実現している。 VMMがファイルを理解するためのインタフェースを提供することで、ファイル単位のきめ細かいアクセス制御が可能となった。 OSが乗っ取られた時にOSのファイルキャッシュ上にある機密情報が漏洩する危険性を減らすために、認証の有効期限が切れた時にOSに通知してファイルキャシュを消去させる仕組みを開発した。
また、VMMからOSのスケジューリングを変更することにより、特定のプロセスがシステムを過負荷にするサービス妨害攻撃を防ぐことを可能にした。開発したシステムでは、サービス妨害攻撃を行っているプロセスを指定して、スケジューリング対象から外すことで実行を阻止する。OSのスケジューラが使っているデータ構造をVMMから変更できるようにするために、VMMがOSのデータ構造にアクセスするためのインタフェースを定義した。さらに、アスペクト指向プログラミングの技術を用いることで、仮想計算機上で動いている複数のOSに同時にコードを挿入し、OS間のデータフローを取得するシステムも開発した。
一方、仮想計算機モニタの再起動によるサービス妨害攻撃を防ぐために、仮想計算機の状態をメモリ上に保持したまま、仮想計算機モニタだけを高速に再起動するシステムも開発した。この機能により、仮想計算機上で動いているサービスのダウンタイムを大幅に削減することができた。さらに、仮想計算機を別の計算機にマイグレーションする手法との比較を通して、提案システムの有用性を示した。

  • Research Products

    (4 results)

All 2008 2007

All Journal Article (2 results) (of which Peer Reviewed: 2 results) Presentation (2 results)

  • [Journal Article] XenLASY : xenのI/O処理を追跡するためのアスペクト指向プロフアイラ2008

    • Author(s)
      柳澤、光来、千葉
    • Journal Title

      情報処理学会論文誌:プログラミング 49

      Pages: 51-61

    • Peer Reviewed
  • [Journal Article] OSカーネル用アスペクト指向システムKLASY2007

    • Author(s)
      柳澤、光来、千葉、石川
    • Journal Title

      情報処理学会論文誌:プログラミング 48

      Pages: 176-188

    • Peer Reviewed
  • [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 Machines2007

    • Author(s)
      K. Kourai. S. Chiba
    • Organizer
      DSN 2007
    • Place of Presentation
      Edinburgh
    • Year and Date
      2007-06-27

URL: 

Published: 2010-02-04   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi