@inproceedings{weko_74781_1, author = "安藤,類央 and 門林,雄基 and 篠田,陽一", title = "Automated deduction systemを用いたマルウェア外部観測ログ解析の自動化", booktitle = "コンピュータセキュリティシンポジウム2009 (CSS2009) 論文集", year = "2011", volume = "2009", number = "", pages = "1--5", month = "oct" }