Aliyu Tanko Ali, Damas P. Gruska, Martin Leucker. Supervised Attack Trees. In Paolo D'Arco, Alin Zamfiroiu, editors, Innovative Security Solutions for Information Technology and Communications - 18th International Conference, SecITC 2025, Bucharest, Romania, November 20-21, 2025, Revised Selected Papers. Volume 16443 of Lecture Notes in Computer Science, pages 262-277, Springer, 2025. [doi]
Abstract is missing.