On Validating Attack Trees with Attack Effects

Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida. On Validating Attack Trees with Attack Effects. In António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira 0005, editors, Computer Safety, Reliability, and Security - 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020, Proceedings. Volume 12234 of Lecture Notes in Computer Science, pages 309-324, Springer, 2020. [doi]

Authors

Hideaki Nishihara

This author has not been identified. Look up 'Hideaki Nishihara' in Google

Yasuyuki Kawanishi

This author has not been identified. Look up 'Yasuyuki Kawanishi' in Google

Daisuke Souma

This author has not been identified. Look up 'Daisuke Souma' in Google

Hirotaka Yoshida

This author has not been identified. Look up 'Hirotaka Yoshida' in Google