<p>Attack tree (AT) is one of the widely used non-statespace</p><p>models in security analysis. The basic formalism of AT</p><p>does not take into account defense mechanisms. Defense trees</p><p>(DTs) have been developed ...