| 研究課題/領域番号 |
17K12666
|
|---|
| 研究機関 | 南山大学 |
|---|
研究代表者 |
桑原 寛明 南山大学, 理工学部, 講師 (30432222)
|
|---|
| 研究期間 (年度) |
2017-04-01 – 2020-03-31
|
| キーワード | ソフトウェア工学 / 情報流解析 / 型システム / プログラム解析 / ソフトウェア開発支援 |
|---|
| 研究実績の概要 |
本年度は、オブジェクト指向プログラムを対象とする型検査に基づく情報流解析における機密度のパラメータ化に関する研究を行った。機密度のパラメータ化は、データ構造の一部を構成するデータの機密度を具体的な機密度ではなくパラメータとして記述することである。データ構造に含まれるデータの機密度を構造の定義時ではなく使用時に決定することを可能とする。これにより、データ構造の定義一つから、パラメータに指定する機密度を変更するだけで、含まれるデータの機密度のみが異なる複数のデータ構造を用意できる。従来手法では、個々のデータ構造を個別に定義することが必要であるが、これらの構造は内部のロジックなどデータの機密度以外の要素は同じであることからクローンに相当し、保守性の観点から問題となっている。機密度のパラメータ化によりデータ構造の定義は一つに集約されるため、この問題が解決される。
パラメータ化された機密度を持つデータ構造に関して、本年度はパラメータにどのような機密度が指定されても非干渉性が満たされることを検査する型システムを定義し、その健全性を証明した。これにより、プログラムが型付け可能であれば、パラメータに指定される機密度によらず機密度の低いデータが機密度の高いデータに依存するような不正な情報流は存在し得ないプログラムであることを確信できる。
これらの成果について国内の会議で発表した。また、論文誌に投稿中である。
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
2: おおむね順調に進展している
理由
およそ当初の計画通り進行している。機密度のパラメータ化に関して当初は予想していなかったバリエーションが存在することが判明し、本年度はそのうちの一つについて研究を進めた。その他のバリエーションについては次年度以降に当初の計画の進行と調整しながら研究を進める予定である。
|
| 今後の研究の推進方策 |
次年度以降についても当初の計画に従って研究を進める。ライブラリとユーザプログラムの情報流解析の統合、および統合開発環境における情報流解析の提案について取り組む。これらの進行状況によるが、可能であれば機密度のパラメータ化に関するバリエーションにも取り組む。
|
| 次年度使用額が生じた理由 |
物品費に関して他の予算から多く充当できたため残額が発生した。
物品費あるいは出張旅費に充当する予定である。
|
