情報処理学会 第73回全国大会講演要旨

近年, 個人情報をはじめとする機密情報の漏洩が問題となっている.
そこで, 我々は, 機密情報の漏洩防止を目的としたアクセス制御機構
DF-Salviaの開発を行っている. DF-Salviaは, プログラムをコンパイル
する際に解析するデータフロー情報を元に, データ漏洩が発生する
可能性のある処理を制御する. データフローを元に制御を課すことで,
データフローとそのデータの元となるファイルの対応付けを正確に
識別することが可能となり, データの権限に応じた制御が可能となる.
本論文では, DF-Salviaによるデータフローアクセス制御を実現するために
必要なデータフロー情報を解析するためのデータフロー解析手法について
述べる.