Native Applet : ネイティブコード実行に基づいたWWW上のモバイルコード実行方式
スポンサーリンク
概要
- 論文の詳細を見る
WWW環境においてプログラムコードをサーバからクライアントに動的にダウンロードし, クライアントサイトのセキュリティ保全を行いながらの実行を可能としたプログラムコードをアプレットと呼ぶ.Java Appletに代表されるように, 現在の多くのアプレットシステムは, 特定のプログラミング言語設計やバイトコード設計に基づいており, また, 解釈実行型のプログラム実行方式に基づいている.本論文では, プログラミング言語設計やバイトコードを固定することなしに, ネイティブコード実行に基づいたアプレットシステムを実現する方式の提案とその実装に関する報告を行う.提案方式では, 特定の計算機アーキテクチャに依存しないプログラムコードの正準表現を設定し, この正準表現に基づいたコードを生成するようなコンパイラバックエンドを作成する.また各種CPUアーキテクチャごとに, 正準表現からネイティブコードへ変換するためのネイティブコード変換器を作成し, Webサーバにこの変換器を格納しておく.この正準表現は, ネイティブコードに変換可能である限り, いかなる設計を用いることも可能である.実行時には, アプレットとともにこの変換器をWebサーバからダウンロードして, 正準表現をネイティブコードに変換してから実行を行う.実行の際は, OSのシステムコールレベルでの実行時検査を行い, 指定された実行時ポリシーに合致するシステムコールの発行のみを許すようにすることで, 安全な実行を達成する.
- 2000-11-15
著者
-
米澤 明憲
東京大学大学院情報理工学系研究科コンピュータ科学専攻
-
加藤 和彦
筑波大学電子・情報工学系
-
松原 克弥
筑波大学電子・情報工学系
-
米澤 明憲
東京大学理学部情報科学科
-
板橋 一正
筑波大学電子・情報工学系
-
森山 豊
筑波大学電子・情報工学系
-
染谷 祐一
筑波大学電子・情報工学系
-
関口 龍郎
東京大学大学院理学系研究科
-
関口 龍郎
科学技術振興事業団:東京大学:jst
-
米澤 明憲
東京大学大学院情報理工学系研究科
関連論文
- 並列オブジェクトによる大規模システムの実現 : Second Lifeシステム,Twitterシステム,分子動力学アプリの場合(並列分散処理,情報爆発論文)
- セキュリティプロトコルの略式記法からspi計算への変換
- メタレベル機能によるクラスライブラリ最適化手法(並列処理)
- メタレベル機能が支援するハイパフォーマンスオブジェクト指向計算
- 仮想マシンモニタによる仮想マシン内プロセスの制御(OS-2 : セキュリティ)
- 並列オブジェクトによる大規模システムの実現 : Second Life システム, Twitter システム, 分子動力学アプリの場合
- アクティブネットワーク技術を用いた多重名前空間の実現法(特集:システムソフトウエアの新しい潮流)
- モーバイルオブジェクトシステムP_を用いたWeb検索ロボットのモーバイル化
- モーバイルオブジェクトシステムPLANETにおける分散協調処理のための通信機構
- HiRise : GUI構築のためのインクリメンタルな制約解消系(特集・インタラクティブソフトウェア)
- スレッドベース実行における積極的データ転送のためのPlan-Do型コンパイル技法とその評価
- ABCL/EM-4 : データ駆動並列計算機上の並列オブジェクト指向言語処理系の実装と評価
- 並列自己反映言語システムの部分計算によるコンパイル技法
- 階層的コレクションに基づくオブジェクト指向分散ライブラリについて
- 並列オブジェクト指向言語ABCL/fのメタレベルアーキテクチャ
- 高並列計算における動的資源管理のための自己反映並列オブジェクト指向言語
- スレッドベース実行における積極的データ転送のためのPlan-Do型コンパイル技法
- 並列オブジェクト指向言語のマルチコンピュータ上における効率的な実装法
- ヒープ中の同期ロックの整合性に関するモデル検査
- CPUの条件実行機能に対応した型付きアセンブリ言語
- サーバの透過的な移動のためのOS拡張(OS (1))
- B-033 SoftwarePotへのチェックポイント機構の導入(B.ソフトウェア)
- VMMによるアプリケーションを意識したカーネル内の振舞い制御
- プロセスレベルの仮想化を用いた大規模分散システムテストベッド
- LL-007 OS資源ビューの仮想化を用いた分散システムテストベッド(ネットワーク・セキュリティ)
- System Service監視によるWindows向け異常検知システム機構(オペレーティングシステム)
- 単一システムイメージを提供するための仮想マシンモニタ(オペレーティングシステム)
- 柔軟性と拡張性を備えた大規模多人数オンラインゲームのための枠組み(応用システム, SWOPP武雄2005 (2005年並列/分散/協調処理に関する「武雄」サマー・ワークショップ))
- 仮想実行環境を管理するためのライブラリ(ポスターセッション)
- サンドボックスシステムにおける投機的な安全性検査(セキュリティ)
- John Backus : Can Programming Be Liberated from the von Neumann Style ? A Functional Style and its Algebra of Programs(20世紀の名著名論)
- 大規模システムソフトウェアのモデル検査器の設計と実装
- 4.VITC : 情報流解析による高安全Cコンパイラ(第1部:高い生産性を持つ高信頼ソフトウェア作成技術の開発,学と産の連携による基盤ソフトウェアの先進的開発)
- ヘテロジニアシステム向けリモートプロセス管理機能(オペレーティングシステム)
- ヘテロジニアスシステム向けリモートプロセス管理機能
- 値間依存性に基づくポイントカット記述のためのバイトコード変換(推薦論文・SPA2005)
- 例外処理機構を備えた命令型言語のCPS変換とその定式化
- オブジェクト指向に基づく並列情報処理モデルABCM/1とその記述言語ABCL/1
- 私のソフトウェア研究
- 接続を動的に制御するメッセージパッシングシステム(HPC-11 : グリッド(3))(2004年並列/分散/協調処理に関する『青森』サマー・ワークショップ(SWoPP青森2004) : 研究会・連続同時開催)
- 安全な情報社会基盤を構築するために--ソフトウェアのセキュリティをいかに高めるか (特集 コンピュータセキュリティ)
- C++テンプレートを分割コンパイルするためのアプローチ
- テキスト処理言語における文字列のための正規表現型
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- Moving FirewallにおけるDDoS攻撃対策システムの評価
- MK-1 社会基盤としてのセキュアコンピューティングの実現方式の研究(大型プロジェクト紹介,学術系企画)
- アプリケーションデータを保護するためのVMMに基づくアーキテクチャ
- ロボットの共生的対話システムとマルチモーダルな表現システムの開発と評価(テーマセッション(1), ロボットとの相互作用のための言語処理・パターン認識・メディア理解)
- ロボットの共生的対話システムとマルチモーダルな表現システムの開発と評価(テーマセッション(1), ロボットとの相互作用のための言語処理・パターン認識・メディア理解)
- 静的解析に基づく侵入検知システムの最適化
- Windowsにおけるリファレンスモニタの実現(OS-2 : OSの基本機能)
- LB-6 セキュリティポリシーの動的切替機構を持つリファレンスモニタシステム(B. ソフトウェア)
- インクリメンタルな更新機構を持つ全文検索インデックスの分散並列処理方式
- インクリメンタルな更新機構を持つ全文検索インデックスの分散並列処理方式
- 仮想機械独立なアプレットシステムの実現
- モバイルエージェントの安全な移動法について
- Native Applet : ネイティブコード実行に基づいたWWW上のモバイルコード実行方式
- モーバイル・メモリセグメントを用いたモーバイルプログラミング言語の非抽出型実現方式
- 2000-DBS-122-6 インクリメンタルな更新を伴う全文検索インデックスの分散並列処理方式
- DE2000-28 インクリメンタルな更新を伴う全文検索インデックスの分散並列処理方式
- 動的双方向変換技術に基づいた異機種オブジェクトモビリティの実現法(特集:システムソフトウエアの新しい潮流)
- ソースコード変換技術を用いたJava言語におけるスレッドのモビリティの実現法
- WWW検索エンジンのためのインクリメンタルな全文検索インデックス更新方式
- システムコール制御に基づく仮想マシン間サンドボックスシステム
- 排他的なメソッドの並行な呼び出しを融合する機構を持つ言語
- 同期ボトルネックが存在する並列プログラムの効率的実行(並列処理)
- 明示的なタスク配置指定が可能な遅延タスク生成に基づく動的負荷分散方法
- 動的なスレッド生成をサポートする言語のコンパイル技法
- 安全性を保証するANSI-C実行系の実装手法(プログラミング及びプログラミング言語)
- Virtual Private Grid(VPG) : 遠隔計算機を効率的に利用するシェル
- 副作用を含む関数型プログラムの部分評価に向けて
- 科学通信(科学の動向)社会基盤としての安全なソフトウェア
- 環状分散ゴミ集めのための局所ゴミ集めの最小限の拡張
- オブジェクト指向言語によって記述された, 携帯電話, PDAのアプリケーションプログラム圧縮方式
- 複数の入出力デバイスを選択できる図形描画清書システム
- 自律協調システムのための分散オブジェクトの共有機構
- TRaP-RPC:分散透明な遠隔ポインタの効率的な実現法について
- 永続キャッシュ技術の拡張可能ハッシュへの適用とそのインデックス性能の評価 (高度データベース論文特集)
- 永続キャッシュ技術を用いた拡張可能ハッシュのインデックス性能の向上について
- 永続キャッシュ技術を用いた拡張可能ハッシュのインデックス性能の向上について
- Javaバイトコード変換による細粒度CPU資源管理
- 共有メモリ並列計算機上の並列ガーベージコレクタの性能予測
- 移動計算のためのプログラミング言語MobileML(プログラミング及びプログラミング言語)
- アセンブリ言語レベルでの異種計算機間のヒープとスタックの共有機構
- 異機種間モーバイル計算のためのコード表現とその実装
- Mobile JDK : モーバイルエージェント環境における計算機資源への移動透過な操作が可能なクラスライブラリ
- 分散記憶並列計算機における局所ごみ集めのスケジュール方式について(並列処理)
- 分散メモリ並列計算機上での参照カウントと分散マーキングの実装および性能比較(並列処理)
- 最小限のコンパイラサポートによる細粒度マルチスレッディング : 効率的なマルチスレッド言語を実装するためのコスト効率の良い方法(並列処理)
- 8.超並列計算機を用いたRNA2次構造の予測と視覚化 (「ゲノム情報」)
- OpenMPにおけるネストした並列性の実装と評価
- 通常の実行効率をほとんど損なわないスレッドマイグレーションが可能なC++
- Portableでrobustなglobal garbage collectorの構築について
- CプログラムにおけるLazy Task Creation
- 分散永続性を提供するモーバイルオブジェクト・システムの実現
- モーバイルオブジェクト・システムPLANETにおける分散永続オブジェクトの実現法について
- モーバイルオブジェクト・システムPLANETにおける分散永続オブジェクトの実現法について
- Reasoningを容易にする並列自己反映言語のメタオブジェクトの設計
- 並列オブジェクト指向言語ABCL/fによる並列数値計算 : 有限要素法と多体問題による評価