2017 Fiscal Year Research-status Report
情報流解析による安全性検証に基づく実用的なソフトウェア開発支援
| Project/Area Number |
17K12666
|
|---|
| Research Institution | Nanzan University |
|---|
Principal Investigator |
桑原 寛明 南山大学, 理工学部, 講師 (30432222)
|
|---|
| Project Period (FY) |
2017-04-01 – 2020-03-31
|
| Keywords | ソフトウェア工学 / 情報流解析 / 型システム / プログラム解析 / ソフトウェア開発支援 |
|---|
| Outline of Annual Research Achievements |
本年度は、オブジェクト指向プログラムを対象とする型検査に基づく情報流解析における機密度のパラメータ化に関する研究を行った。機密度のパラメータ化は、データ構造の一部を構成するデータの機密度を具体的な機密度ではなくパラメータとして記述することである。データ構造に含まれるデータの機密度を構造の定義時ではなく使用時に決定することを可能とする。これにより、データ構造の定義一つから、パラメータに指定する機密度を変更するだけで、含まれるデータの機密度のみが異なる複数のデータ構造を用意できる。従来手法では、個々のデータ構造を個別に定義することが必要であるが、これらの構造は内部のロジックなどデータの機密度以外の要素は同じであることからクローンに相当し、保守性の観点から問題となっている。機密度のパラメータ化によりデータ構造の定義は一つに集約されるため、この問題が解決される。
パラメータ化された機密度を持つデータ構造に関して、本年度はパラメータにどのような機密度が指定されても非干渉性が満たされることを検査する型システムを定義し、その健全性を証明した。これにより、プログラムが型付け可能であれば、パラメータに指定される機密度によらず機密度の低いデータが機密度の高いデータに依存するような不正な情報流は存在し得ないプログラムであることを確信できる。
これらの成果について国内の会議で発表した。また、論文誌に投稿中である。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
およそ当初の計画通り進行している。機密度のパラメータ化に関して当初は予想していなかったバリエーションが存在することが判明し、本年度はそのうちの一つについて研究を進めた。その他のバリエーションについては次年度以降に当初の計画の進行と調整しながら研究を進める予定である。
|
| Strategy for Future Research Activity |
次年度以降についても当初の計画に従って研究を進める。ライブラリとユーザプログラムの情報流解析の統合、および統合開発環境における情報流解析の提案について取り組む。これらの進行状況によるが、可能であれば機密度のパラメータ化に関するバリエーションにも取り組む。
|
| Causes of Carryover |
物品費に関して他の予算から多く充当できたため残額が発生した。
物品費あるいは出張旅費に充当する予定である。
|
Research Products
(4 results)
