セキュアVMプロジェクトの概要

◎加藤 和彦 （筑波大学大学院 システム情報工学研究科 教授）

文部科学省 科学技術振興調整費 重要課題解決型研究「高セキュリティ機能を実現する次世代OS環境の開発」として研究開発を進めているセキュアVMプロジェクトの概要を説明する．

セキュア「BitVisor」のアーキテクチャ概要

◎品川 高廣 （筑波大学大学院 システム情報工学研究科 講師）

セキュアVMのアーキテクチャ概要について説明する．まず，セキュアVMの目的や要求事項を技術的観点から説明し，次にセキュアVMプロジェクトで開発中の仮想マシンモニタ「BitVisor」の設計と実装について説明する．

PCの仮想化支援機能とBitVisorコア技術詳細

◎榮樂 英樹（筑波大学大学院 システム情報工学研究科 研究員）

PC におけるプロセッサの仮想化支援機能の概要と，BitVisor のコア技術の詳細について述べる．まず，プロセッサの仮想化支援機能について，従来からある「仮想 8086 モード」と，最新の「Intel VT」および「AMD-V」の概要について説明する．次に，BitVisor において仮想化支援機能をどのように利用しているか，および，BitVisor の開発にあたって困難を伴った点について説明する．

BitvisorとI/O仮想化技術

◎保理江 高志（筑波大学大学院 システム情報工学研究科 研究員）

Bitvisor最大の特徴である「準パススルー型アーキテクチャ」へのI/O仮想化技術"Intel Virtualization Technology for Directed I/O"に基づく機能拡張について，技術的側面を解説する．

BitVisorにおけるUSBの仮想化方式

◎松原 克弥（（株）イーゲル　シニアアーキテクト）

BitVisorにおけるUSBの仮想化方式について述べる．USBは，USBメモリやIDカードリーダが接続されるインタフェースであり，BitVisorにおいて管理すべき重要なデバイスの一つである．本発表では，USB1.1 H/W仕様の一つであるUHCI (Universal Host Controller Interface)に準拠したUSBデバイス入出力を仮想化する方式について説明する．UHCIの仮想化実現において，UHCI特有の技術的課題が多く存在した．発表内では，主要なOSにおけるUHCIデバイス制御方式を解説し，それらに関連した技術的課題と一解決法を紹介する．

BitVisorにおける透過的なVPN処理の設計と実装

◎登 大遊（ソフトイーサ（株）代表取締役会長）

BitVisorでは，ゲストOSがネットワーク通信をしようとすると，予め設定したVPNゲートウェイ装置との間でIPsecトンネルを確立し，すべての通信をVPNを通して行う．これを実現するために，VPNクライアント機能を透過的に利用する仕組みをVMに組み込んだ．その設計と実装について解説する．