2014 Fiscal Year Annual Research Report
アンビエント計算に基づく実用的かつ信頼性の高い分散プログラム開発環境
| Project/Area Number |
24700028
|
|---|
| Research Institution | Kyoto University |
|---|
Principal Investigator |
馬谷 誠二 京都大学, 情報学研究科, 助教 (40378831)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 分散プロセス計算 / プログラミング言語 / コード移動 / プログラム解析 |
|---|
| Outline of Annual Research Achievements |
前年度に引き続き，高水準アンビエントを記述する上でのセキュリティ仕様記述に関する機能の設計・実装のための研究を行った．
具体的には，Java仮想機械上で動作するアンビエントプログラムの安全性を，プログラムの実行時ではなく，クラスロード時に検証するための手法としてJavaバイトコードに対する低水準の解析・操作を柔軟かつ簡潔に記述可能なライブラリの開発を行った．
アンビエントプログラムの安全性に関する様々な記述を，このライブラリを呼び出すJavaプログラムへとコンパイル・実行することで，開発基盤のセキュリティに関するコンポーネントの実装の改善を見込むことが可能となる．
|
