ロード時バイナリ変換によるセキュリティ強制方式

概要

論文の詳細を見る
柔軟な分散計算システムを構築するための便利な抽象化機構としてさまざまな形態の異動コードが注目されてきた.固定的なネットワークシステムから移動・遍在計算機環境へとシフトするうえで,移動コードの重要性が増している.しかし,実際の応用システムで移動コードを採用するうえで,解決しなければならないセキュリティ上の問題はまだ多い.さらに,移動コードを用いてシステムを構成するためには,コードの移動がひきおこすさまざまな変化に対処できる必要がある.そしてセキュリティモデルもそのために拡張可能(あるいは適応的)である必要があり,さらにそういったセキュリティモデルのためのポリシー記述はむずかしい.今回の発表では,まずアプリケーション依存のセキュリティポリシーについて述べ,次にそういったポリシーを強制する方法の提案について説明する.対象とする移動コードは,ここではJavaクラスファイルとする.我々の方式は,主としてロード時のバイトコード変換によって監視付き実行を行うコードを挿入するものであるが,そのためのポリシーをPolarisという特別な言語によって記述する.Polarisは基本的には有限状態プロセス言語であるが,変数間のデータ依存関係を扱えるようになっている.これによって監視のコストを抑えることができる.記述の具体例として,我々が構築しつつある拡張可能メールクライアントの一部を示す.本プロジェクトのwebサイト:http://www.psg.cs.titech.ac.jp/sc/
2002-03-15

ロード時バイナリ変換によるセキュリティ強制方式

スポンサーリンク

概要

著者

関連論文

スポンサーリンク