情報流解析のためのJavaアノテーション

抄録

本論文では，Javaプログラムに対する情報流解析のためのJavaアノテーションを提案する．情報流解析を用いることでソフトウェア内の機密情報の流出を検出できる．情報流解析では機密度束の定義とプログラム中のデータに対する機密度の指定が必要であるため，機密度の指定と機密度束の定義のためのアノテーションを定義する．アノテーションで機密度が指定されたJavaプログラムに対する情報流解析をOpenJDKのJavaコンパイラを拡張して実装し，適用例を示す．