@techreport{2002ID388, author = {西, 秀雄 and , 横森励士 and , 井上克郎}, year = {2002}, month = {jul 26}, title = {プログラム依存グラフを利用した情報漏洩解析手法の提案と実装}, }