Ross Horne, Sjouke Mauw, Alwen Tiu. The Attacker Does not Always Hold the Initiative: Attack Trees with External Refinement. In George Cybenko, David J. Pym, Barbara Fila, editors, 5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers. Volume 11086 of Lecture Notes in Computer Science, pages 90-110, Springer, 2018. [doi]
Abstract is missing.