On Validating Attack Trees with Attack Effects.

Hideaki Nishihara, Yasuyuki Kawanishi, Daisuke Souma, Hirotaka Yoshida

Browse the full SAFECOMP paper archive.