@mastersthesis{selgraduation93,
    author = {西 秀雄},
    title = {プログラム依存グラフを利用した情報漏洩解析手法の提案と実現 - 一般的な束構造を持つセキュリティクラスを対象として -},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 2002,
    month = feb,
    type = {Graduation Thesis},
}