先進的コンパイル技法を用いたセキュアなインターネット・サーバの実現

2001 Fiscal Year Annual Research Report

• Project/Area Number: 13780212
• Research Category: Grant-in-Aid for Encouragement of Young Scientists (A)
• Research Institution: The University of Electro-Communications
• Principal Investigator: 河野 健二 電気通信大学, 電気通信学部, 助手 (90301118)
• Keywords: アプリケーション層プロトコル / インターネット / モバイルコード / セキュリティ / 特定領域言語

Research Abstract

本年度は,モバイルコード技術を応用してアプリケーション層プロトコルの自動配布を可能にするシステムの設計および実現を行った.インターネットなどの広域分散環境では,共通のアプリケーション層プロトコルを用いて,ユーザが互いに情報をやりとりする.こうしたアプリケーション層プロトコルは情報通信の基盤となるため,一旦広く普及してしまうと,改良・拡張した新しいプロトコルに置き換えて再び普及させることは難しい.本年度は,モバイルコード技術を用いて、新しいアプリケーション層プロトコルの普及を容易にする手法の開発を行った.一般にモバイルコードを用いると,ソフトウェアに高い拡張性と柔軟性を与えられる反面,セキュリティの確保が難しい.本システムでは,モバイルコードの用途をアプリケーション層プロトコルの普及に限定することによって,システムの安全性を保ちつつモバイルコード技術の利点を享受できることを示した.
本奨励研究の目的はアプリケーション層プロトコルの実現を容易にする特定領域言語を設計することにある.上記のシステムの設計・開発を通じてアプリケーション層プロトコルについての深い知識と経験を得ることができた.この知識と経験を活用し,来年度以降は実際にアプリケーション層プロトコルの実現に特化した特定領域言語の設計・開発を進める予定である.

Research Products

• [Publications] 品川, 河野, 益田: "Webブラウザのための安全なプログラム実行環境の実現"情報処理学会OS研究会報告(2001-OS-87). 121-128 (2001)
• [Publications] 金子, 河野, 清水: "メモリ占有DoS攻撃の防止:優先度付きメモリ管理"情報処理学会OS研究会報告(2001-OS-87). 113-120 (2001)
• [Publications] 品川, 河野, 益田: "ヘルパアプリケーションの安全な実行環境"情報処理学会OS研究会報告(2001-OS-88). 67-74 (2001)
• [Publications] 品川, 河野, 益田: "実行可能コンテンツの安全な実行環境"日本ソフトウェア科学会SPA2002論文集. (電子出版). (2002)
• [Publications] 揚妻, 河野, 益田: "モバイルコード技術を用いたアプリケーション層プロトコルの自動配布"日本ソフトウェア科学会SPA2002論文集. (電子出版). (2002)