Quantitative Questions on Attack-Defense Trees

Barbara Kordy, Sjouke Mauw, Patrick Schweitzer

Attack-defense trees are a novel methodology for graphical security modeling and assessment. The methodology includes visual, intuitive tree models whose analysis is supported by a…