中立的仮想計算機モニタによる耐タンパーデバイスのアクセラレータの実装
スポンサーリンク
概要
- 論文の詳細を見る
耐タンパーデバイスはデジタル認証や著作権管理に広く用いられている。耐タンパーデバイスは外部からの攻撃に対して内部の情報を守ることができるが、計算能力が通常の PC と比べて格段に低いという問題がある。本研究では PC 上に 2 つの隔離された環境を構築することでこの問題を解決する。2 つの環境とは、通常の OS(Operating System) を実行する環境 (ユーザ環境) と耐タンパーデバイスを援助するプログラムを実行するための環境 (耐タンパーデバイス環境) である。これら 2 つの環境を実現するために、本研究では中立的な仮想計算機モニタを用いる。中立的な仮想計算機モニタとは、CPU などのハードウェアと同様に、期待された動作のみを行い、悪意がある行動をとらないような仮想計算機モニタである。この論文では、中立的仮想計算機モニタを仮想計算機モニタ BitVisor を拡張することで実装する方法を示す。拡張された BitVisor は、環境間通信として耐タンパー環境 RPC (Remote Procedure Call) と呼ぶ仕組みを提供する。仮想計算機モニタが改竄されていないことを検証するために、BitVisor に TPM(Trusted Platform Module) を用いた Trusted Boot 機能を付加する。この論文では、耐タンパーデバイス環境を利用したアプリケーションとして、デジタル署名と著作権管理の実現方法を示す。
- 2011-07-20
著者
-
新城 靖
筑波大学大学院システム情報工学研究科
-
榮樂 英樹
筑波大学大学院システム情報工学研究科
-
新城 靖
琉球大学情報工学科
-
榮樂 英樹
筑波大学
-
松下 正吾
筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻
-
榮樂 英樹
株式会社イーゲル
-
松原 克弥
株式会社イーゲル
-
東 悠
筑波大学情報学群情報学類
-
新城 靖
筑波大学システム情報系情報工学域
関連論文
- 持ち込みPCを対象としたネットワーク利用許可権限の委譲を可能にするアクセス制御メカニズムの実現(シングルセッション,インターネットと情報倫理教育,一般)
- 準パススルー型仮想マシンモニタBitVisorの設計と実装(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 仮想マシンモニタBitVisorとI/O仮想化技術(仮想化)
- 認証デバイスを用いたOSの起動・終了制御システムにおける起動時間の短縮(パラレル,インターネットと情報倫理教育,一般)
- 認証デバイスを用いたOSの安全な起動制御(セキュリティ,サービス管理,ビジネス管理,料金管理,及び一般)
- 3ZB-2 ケーパビリティに基づくアクセス制御のためのケーパビリティ管理機構(セキュリティ(3),学生セッション,セキュリティ)
- 3ZB-1 電子メールに対するケーパビリティに基づくアクセス制御の実装(セキュリティ(3),学生セッション,セキュリティ)
- 2Y-7 USBトークン認証を用いたOSの安全な起動制御(システム運用・管理,学生セッション,ネットワーク)
- 1Y-8 PC上で動作するスケーラブルなIPネットワーク実験システム(ネットワーク構築・管理技術,学生セッション,ネットワーク)
- 1P-8 仮想計算機のゲストOSにおけるファイルアクセスに対する高水準リンクの実現(仮想化技術(1),学生セッション,アーキテクチャ)
- 1P-7 協調型仮想計算機のための二重OSシェル(仮想化技術(1),学生セッション,アーキテクチャ)
- 1P-6 協調型仮想計算機におけるホスト呼び出し機構(仮想化技術(1),学生セッション,アーキテクチャ)
- 1P-2 モード遷移削減による仮想計算機の高速化(仮想化技術(1),学生セッション,アーキテクチャ)
- 1P-1 仮想計算機におけるデバイスエミュレーションの部分評価を用いた高速化(仮想化技術(1),学生セッション,アーキテクチャ)
- 仮想計算機におけるデバイスエミュレーションの特化による高速化(仮想化(3))
- 既存のWeb資源に対するケーパビリティの管理・配布を行うサーバの実現(分散システム)
- Webページに対するケーパビリティを用いたアクセス制御のプロキシによる実現(セキュリティ)
- OSDI 2004
- 利用者間で接続権限を受け渡し可能なネットワーク制御機構の実現
- UPKI認証連携基盤を用いたWebアクセス制御
- 協調型仮想計算機モニタとそのLinux KVMにおける実装
- 遠隔ネットワーク性能・機能診断システムの構想
- 認証デバイスを用いたOSの起動・終了制御
- 認証デバイスを用いたOSの起動・終了制御システムにおける起動時間の短縮(パラレル,インターネットと情報倫理教育,一般)
- 認証デバイスを用いたOSの起動・終了制御システムにおける起動時間の短縮(パラレル,インターネットと情報倫理教育,一般)
- 認証デバイスを用いたOSの安全な起動制御(セキュリティ,サービス管理,ビジネス管理,料金管理,及び一般)
- XML Webサービスのための分散型オペレーティング・システム(ネットワークシステム)
- CaStor:Web資源に対するケーパビリティの管理・配布を行うWebサーバ
- ユーザ権限変更機構を利用した安全なイントラネットサーバの実現(分散ファイルシステム)
- クライアントのユーザ認証情報を用いたサーバプロセスの権限変更機構
- クライアントのユーザ認証情報を用いたサーバプロセスの権限変更機構
- 持ち込みPCを対象としたネットワーク利用許可権限の委譲を可能にするアクセス制御メカニズムの実現(シングルセッション,インターネットと情報倫理教育,一般)
- 持ち込みPCを対象としたネットワーク利用許可権限の委譲を可能にするアクセス制御メカニズムの実現(シングルセッション,インターネットと情報倫理教育,一般)
- カーネル・レベル・コードによるユーザ・レベルVMMの移植性の向上(システムソフトウェア構成法)
- ケーパビリティに基づくアクセス制御を持つスケジュール管理アプリケーションの構想(セキュリティ)
- B-032 ネットワークアプリケーションをテストするための通信記録再生機能(B.ソフトウェア)
- B-028 ユーザレベルOSのためのユーザレベルネットワーク機能(B.ソフトウェア)
- 外部プログラムとキャッシングを利用した堆積可能汎用フィルタ・ファイル・オブジェクトの実現方式(特集:システムソフトウエアの新しい潮流)
- XML Webサービスのための大域的ファイル・サービスの提案(分散環境)
- SetNS : 記号の集合に基づく名前サービス(名前サービス)
- SOSP-14:オペレーティングシステムに関する国際会議に参加して
- オブジェクトの堆積・連結モデルに基づくウィンドウ・システム
- 仮想計算機における入出力命令の一括処理による入出力の高速化
- 仮想計算機における入出力命令の一括処理による入出力の高速化
- 1.5 並列および分散応用を対象とした分散型OS ReSC (日本におけるオペレーティングシステム研究の動向)
- 軽量プロセスを利用する応用プログラムの開発と性能評価の支援
- 仮想プロセッサを支援するオペレーティング・システム・カーネルの構成法
- 分散処理環境に適したプロセス・サーバと並列シェルの実現
- オブジェクトの堆積に適したRPCスタブ生成器
- 並列プログラムを対象とした軽量プロセスの実現方式
- 分散型オペレーティング・システムにおけるオブジェクトの堆積
- 並列・分散処理環境を対象としたOSReSCにおける分散オプティマイザ
- ReSC : 並列アプリケーションのためのオペレーティング・システム
- データベースの多様な応用分野を対象とする並列処理システムSMASH : メモリ資源割り当ての計算方式の実現
- ネットワークの監視技術を用いたファイル更新履歴保存システムの実現(分散ファイルシステム)
- IPv6拡張ヘッダを用いた付加的なサービスの提供(ユビキタス時代のネットワーク技術)
- システム・コール・レベルでのRPCに対するアクセス制御の強化
- システム・コール・レベルでのRPCに対するアクセス制御の強化
- プロセストレース機能を用いた世界OSの実現(システムソフトウェアの新しい潮流)
- システム・コールに対するラッパ/リファレンス・モニタSys Guardの設計と実現
- 記号の集合に基づく名前サービスSetNSの実現
- 世界のDAGを利用した投機的makeの実現
- 粗粒度投機的処理を支援するオペレーティング・システムにおけるファイル・システム
- 投機的処理を支援するオペレーティング・システムにおける世界とプロセスの操作
- 投機的処理を支援するオペレーティング・システムにおける世界とプロセスの操作
- 投機的処理支援OS上で動作する投機的makeの世界操作
- 中立的仮想計算機モニタによる耐タンパーデバイスのアクセラレータの実装
- 連結可能ウィンドウ・オブジェクト
- バイトコード変換によるActionScriptプログラムのマルチスレッド化
- キオスク端末のWebアクセス制限を対象にしたシングルサインオンシステムの運用と課題
- ホスト型仮想計算機におけるメモリ管理のアウトソーシングの提案
- ホスト型仮想計算機におけるメモリ管理のアウトソーシングの提案
- オブジェクトの堆積モデルに基づく高機能ディレクトリ・オブジェクト
- オブジェクトの堆積モデルに基づく高機能ディレクトリ・オブジェクト
- オブジェクトの堆積モデルに基づく間接オブジェクトの実現
- 分散型Webブラウザの通信機能と協調動画視聴アプリケーション
- 分散型Webブラウザの通信機能と協調動画視聴アプリケーション
- 中立的VMMによる動画像を対象とした著作権保護
- 中立的VMMによる動画像を対象とした著作権保護
- 位置情報を利用したシステム・コール・レベルのアクセス制御
- 仮想計算機におけるソケットアウトソーシングを用いたIPv4/IPv6変換の実現と評価 (コンピューティングシステム Vol.5 No.3)
- 高度な利用者認証が利用可能なネットワークを対象とした柔軟なアクセス制御の一実装
- レイテンシの違いを利用したネットブート配信環境の局所的な切り替え手法(システム制御,インターネットと情報倫理教育,一般)
- レイテンシの違いを利用したネットブート配信環境の局所的な切り替え手法(システム制御,インターネットと情報倫理教育,一般)
- 認証をアウトソースするネットワークスイッチの機能設計(サービス管理,運用管理技術,セキュリティ管理,及び一般)
- 安全な家庭向けソーシャルルータの実現
- 安全な家庭向けソーシャルルータの実現
- ソーシャルネットワークを利用したSQLデータベースの相互利用
- ソーシャルネットワークを利用したSQLデータベースの相互利用
- ソーシャルルータを用いたネットニュースシステムの実現
- ソーシャルルータを用いたネットニュースシステムの実現
- ネットワーク構成変更を追跡可能とするネットワーク管理支援システム(システム運用と管理2,インターネットと情報倫理教育,一般)