Formalizing Attack Trees To Support Economic Analysis. - Andrew Simpson 001; Matthias Dellago; Daniel W. Woods (Comput. J., 2024)