大久保隆夫、海谷治彦、鷲崎弘宣、吉岡信和、”形式検証を用いた攻撃分析フレームワークの提案”、コンピュータセキュリティシンポジウム2015 (CSS2015)、長崎ブリックホール、2015年10月21日(水) ～ 10月23日(金)