研究者情報 | 神奈川大学

カイヤ　ハルヒコ Kaiya Haruhiko 海谷　治彦所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2000/11
形態種別	その他
標題	Specifying Runtime Environments and Functionalities of Downloadable Components under the Sandbox Model
執筆形態	共著
掲載誌名	International Symposium on Principles of Software Evolution, IEEE CPS.
巻・号・頁	138-142頁
著者・共著者	Haruhiko Kaiya and Kenji Kaijiri.
概要	担当分全ての章，他の著者はレビュー担当．コードをネットワークからオンデマンドでダウンロードし実行するような環境下において，セキュリティポリシィ等の実行時環境によって機能がどのように制限されるかを分析する手法を提案した．