| 講演名 | 2000/9/18 ダウンロード可能なソフトウェア部品の仕様化法 海谷 治彦, 海尻 賢二, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | 本稿では, ネットワーク越しの他のマシンからダウンロードされ連結・実行が可能なソフトウェア部品に関する仕様化技法を提案する.システム外部からロードした部品は, 十分に信頼おけるわけではないため, システム内での振る舞いや機能をある程度制限する必要がある.このような考え方はサンドボックス・セキュリティモデルに基づいている.JavaにおけるRMIやアプレットを利用する際は, このようなセキュリティ機構を非明示的に利用する場合が多いため, 利用者はRMIやアプレットなどの部品の能力や制限を見誤る場合があり, それによって部品の誤用をする恐れもある.本稿ではダウンロード可能な部品のセキュリティに関する性質に注目した仕様を追加記述することを提案する.それによって, 部品利用者が正確に部品の能力や制限を理解すること支援することが可能となる. |
| 抄録(英) | In this paper, we propose a specification of software components which can be loaded not only from your local system but also from the other systems over the computer network. Such components enable a system evolve itself in runtime. Because components from the other system are not always enough reliable or safe to act freely in your own system, you should limit their activities to a certain context. Such assumption is based on the sandbox security model. Because some existing systems like Java RMI and an Applet provide a mechanism for such limitation implicitly, users sometimes lose sight of the abilities and limitations of such components. Therefore, they fail to reuse the components in the right way. We provide a way to specify such properties, so that component users can precisely understand the abilities and limitations. |
| キーワード(和) | 仕様化技術 / Javal / サンドボックス・セキュリティモデル / 再利用 |
| キーワード(英) | Specification techniques / Javal / Sandbox Security Model / Reuse |
| 資料番号 | SS2000-22 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2000/9/18(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ダウンロード可能なソフトウェア部品の仕様化法 |
| サブタイトル（和） | |
| タイトル（英） | Specifying Runtime Functionality of Downloadable Components under the Sandbox Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 仕様化技術 / Specification techniques |
| キーワード(2)（和/英） | Javal / Javal |
| キーワード(3)（和/英） | サンドボックス・セキュリティモデル / Sandbox Security Model |
| キーワード(4)（和/英） | 再利用 / Reuse |
| 第 1 著者 氏名（和/英） | 海谷 治彦 / Haruhiko Kaiya |
| 第 1 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Engineering, Faculty of Engineering Shinshu University |
| 第 2 著者 氏名（和/英） | 海尻 賢二 / Kenji Kaijiri |
| 第 2 著者 所属（和/英） | 信州大学工学部情報工学科 Department of Information Engineering, Faculty of Engineering Shinshu University |
| 発表年月日 | 2000/9/18 |
| 資料番号 | SS2000-22 |
| 巻番号（vol） | vol.100 |
| 号番号（no） | 322 |
| ページ範囲 | pp.- |
| ページ数 | 8 |
| 発行日 | |