文章基本信息
- 标题：情報流解析のためのJavaアノテーション
- 本地全文：下载
- 作者：吉田 真也 ; 桑原 寛明 ; 國枝 義敏 等
- 期刊名称：コンピュータ ソフトウェア
- 印刷版ISSN：0289-6540
- 出版年度：2017
- 卷号：34
- 期号：4
- 页码：4_47-4_53
- DOI：10.11309/jssst.34.4_47
- 语种：Japanese
- 出版社：Japan Society for Software Science and Technology
- 摘要：
本論文では，Javaプログラムに対する情報流解析のためのJavaアノテーションを提案する．情報流解析を用いることでソフトウェア内の機密情報の流出を検出できる．情報流解析では機密度束の定義とプログラム中のデータに対する機密度の指定が必要であるため，機密度の指定と機密度束の定義のためのアノテーションを定義する．アノテーションで機密度が指定されたJavaプログラムに対する情報流解析をOpenJDKのJavaコンパイラを拡張して実装し，適用例を示す．
