Attack Trees with Sequential Conjunction

Ravi Jhawar, Barbara Kordy, Sjouke Mauw +2

We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity…