@mastersthesis{selmasters42,
    author = {横森　励士},
    title = {オブジェクト指向プログラムにおけるセキュリティ解析アルゴリズムの提案と実現},
    school = {The University of Osaka},
    address = {Osaka, Japan},
    year = 2001,
    month = feb,
    type = {Master Thesis},
}