査読有り 国際誌 2022年9月 Efficient secure DevOps using process mining and Attack Defense Trees Procedia Computer Science Takao Okubo, Haruhiko Kaiya 巻 207 号 開始ページ 446 終了ページ 455 記述言語 英語 掲載種別 研究論文(学術雑誌) 出版者・発行元 Elsevier エクスポート BibTeX RIS