Windowsにおけるリファレンスモニタの実現(OS-2 : OSの基本機能)
スポンサーリンク
概要
- 論文の詳細を見る
インターネットに代表されるオープンなネットワーク環境で流通するソフトウェアを安全に実行するためのシステムSoftwarePotの研究開発を進めている.SoftwarePotはソフトウェアを仮想的な環境(サンドボックス)で実行するシステムである.SoftwarePotはソフトウェアが発行するシステムコールを捕捉し、検査及び書き換えを行うことによってサンドボックスを構築している.システムコールの捕捉を実現するには、OSに依存した機能を使用しなければならず,移植性が低くなる要因となっている.本論文では.SoftwarePotの新ソフトウェアアーキテクチャについて述べる.SoftwarePotからリファレンスモニタシステムとして分離を行い,移植性の向上を図っている.WindowsへのSoftwarePotの移植を通して,新アーキテクチャの有効性の検証を行った.
- 2003-08-04
著者
-
加藤 和彦
筑波大学電子・情報工学系
-
大山 恵弘
東京大学大学院情報理工学系研究科
-
大山 恵弘
電気通信大学大学院電気通信学研究科情報工学専攻
-
光山 義紀
東京大学国際・産学共同研究センター:(有)バクサリー
-
神田 勝規
筑波大学大学院博士課程システム情報工学研究科
-
光山 義紀
有限会社ハクサリー
関連論文
- 準パススルー型仮想マシンモニタBitVisorの設計と実装(OS-4:仮想化,2008年並列/分散/協調処理に関する『佐賀』サマー・ワークショップ(SWoPP佐賀2008))
- 建物データ・リアルタイムモニタリング・システムの開発(情報システム技術)
- アクティブネットワーク技術を用いた多重名前空間の実現法(特集:システムソフトウエアの新しい潮流)
- モーバイルオブジェクトシステムP_を用いたWeb検索ロボットのモーバイル化
- モーバイルオブジェクトシステムPLANETにおける分散協調処理のための通信機構
- OSDI 2004
- サーバの透過的な移動のためのOS拡張(OS (1))
- B-033 SoftwarePotへのチェックポイント機構の導入(B.ソフトウェア)
- 単一システムイメージを提供するための仮想マシンモニタ(オペレーティングシステム)
- 柔軟性と拡張性を備えた大規模多人数オンラインゲームのための枠組み(応用システム, SWOPP武雄2005 (2005年並列/分散/協調処理に関する「武雄」サマー・ワークショップ))
- 仮想実行環境を管理するためのライブラリ(ポスターセッション)
- サンドボックスシステムにおける投機的な安全性検査(セキュリティ)
- 準パススルー型VMMのマルウェア検出機能による拡張
- 準パススルー型VMMのマルウェア検出機能による拡張
- ロボットの共生的対話システムとマルチモーダルな表現システムの開発と評価(テーマセッション(1), ロボットとの相互作用のための言語処理・パターン認識・メディア理解)
- ロボットの共生的対話システムとマルチモーダルな表現システムの開発と評価(テーマセッション(1), ロボットとの相互作用のための言語処理・パターン認識・メディア理解)
- 静的解析に基づく侵入検知システムの最適化
- Windowsにおけるリファレンスモニタの実現(OS-2 : OSの基本機能)
- 異常検知システムにおける正常動作データのモジュール化(OS構成法)
- 安全なソフトウエア実行システムSoftwarePotの設計と実装(ソフトウェアシステム)
- B-49 SoftwarePot/iPAQ : PDAの環境に適応するソフトウェアパッケージの作成と実行を支援するミドルウェア(分散システム,B.ソフトウェア)
- LB-6 セキュリティポリシーの動的切替機構を持つリファレンスモニタシステム(B. ソフトウェア)
- カーネルモジュールを用いたSoftwarePotの効率的な実装方式
- カーネルモジュールを用いたSoftwarePotの効率的な実装方式
- インクリメンタルな更新機構を持つ全文検索インデックスの分散並列処理方式
- インクリメンタルな更新機構を持つ全文検索インデックスの分散並列処理方式
- 仮想機械独立なアプレットシステムの実現
- モバイルエージェントの安全な移動法について
- Native Applet : ネイティブコード実行に基づいたWWW上のモバイルコード実行方式
- モーバイル・メモリセグメントを用いたモーバイルプログラミング言語の非抽出型実現方式
- 2000-DBS-122-6 インクリメンタルな更新を伴う全文検索インデックスの分散並列処理方式
- DE2000-28 インクリメンタルな更新を伴う全文検索インデックスの分散並列処理方式
- 動的双方向変換技術に基づいた異機種オブジェクトモビリティの実現法(特集:システムソフトウエアの新しい潮流)
- ソースコード変換技術を用いたJava言語におけるスレッドのモビリティの実現法
- WWW検索エンジンのためのインクリメンタルな全文検索インデックス更新方式
- ネイティブコードのためのサンドボックスの技術
- 排他的なメソッドの並行な呼び出しを融合する機構を持つ言語
- 同期ボトルネックが存在する並列プログラムの効率的実行(並列処理)
- 明示的なタスク配置指定が可能な遅延タスク生成に基づく動的負荷分散方法
- 動的なスレッド生成をサポートする言語のコンパイル技法
- SPA 2005の報告
- 自律協調システムのための分散オブジェクトの共有機構
- TRaP-RPC:分散透明な遠隔ポインタの効率的な実現法について
- 永続キャッシュ技術の拡張可能ハッシュへの適用とそのインデックス性能の評価 (高度データベース論文特集)
- 永続キャッシュ技術を用いた拡張可能ハッシュのインデックス性能の向上について
- 永続キャッシュ技術を用いた拡張可能ハッシュのインデックス性能の向上について
- 分散永続性を提供するモーバイルオブジェクト・システムの実現
- モーバイルオブジェクト・システムPLANETにおける分散永続オブジェクトの実現法について
- モーバイルオブジェクト・システムPLANETにおける分散永続オブジェクトの実現法について
- 分散永続性を提供するモービルオブジェクト・システムの実現法について
- 分散仮想記憶技術を用いた分散共有格納庫システムの実現法について
- 1.3 分散OS XERO : 分散処理と永続処理の統一的な取扱いを目指して (日本におけるオペレーティングシステム研究の動向)