Attack Trees with Sequential Conjunction.

Ravi Jhawar, Barbara Kordy, Sjouke Mauw, Sasa Radomirovic, Rolando Trujillo-Rasua

Browse the full SEC paper archive.