{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T23:14:48Z","timestamp":1778109288690,"version":"3.51.4"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032174420","type":"print"},{"value":"9783032174437","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-17443-7_16","type":"book-chapter","created":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T22:48:38Z","timestamp":1778107718000},"page":"262-277","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Supervised Attack Trees"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3841-2054","authenticated-orcid":false,"given":"Aliyu Tanko","family":"Ali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8517-4688","authenticated-orcid":false,"given":"Damas","family":"Gruska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3696-9222","authenticated-orcid":false,"given":"Martin","family":"Leucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,1]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Copae, D.-V., Soltani, R., Lopuha\u00e4-Zwakenberg, M.: Attack-defense trees with offensive and defensive attributes. In: 2025 55th Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 358\u2013370. IEEE (2025)","DOI":"10.1109\/DSN64029.2025.00044"},{"key":"16_CR2","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"653","DOI":"10.1007\/978-3-030-75018-3_49","volume-title":"Research Challenges in Information Science","author":"AT Ali","year":"2021","unstructured":"Ali, A.T.: Simplified timed attack trees. In: Cherfi, S., Perini, A., Nurcan, S. (eds.) RCIS 2021. LNBIP, vol. 415, pp. 653\u2013660. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-75018-3_49"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Ali, A.T., Gruska, D., Kharraz, K., Leucker, M.: Analysis of attack time and costs in attack trees via SMT resolution. In: Proceedings of the 8th International Conference on Future Networks & Distributed Systems, pp. 1057\u20131064 (2024)","DOI":"10.1145\/3726122.3726283"},{"key":"16_CR4","unstructured":"Ali, A.T., Gruska, D.P.: Attack trees with time constraints. In: CS&P, pp. 93\u2013105 (2021)"},{"issue":"12","key":"16_CR5","first-page":"21","volume":"24","author":"B Schneier","year":"1999","unstructured":"Schneier, B.: Attack trees. Dr. Dobb\u2019s J. 24(12), 21\u201329 (1999)","journal-title":"Dr. Dobb\u2019s J."},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1007\/11734727_17","volume-title":"Information Security and Cryptology - ICISC 2005","author":"S Mauw","year":"2006","unstructured":"Mauw, S., Oostdijk, M.: Foundations of attack trees. In: Won, D.H., Kim, S. (eds.) ICISC 2005. LNCS, vol. 3935, pp. 186\u2013198. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11734727_17"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Ali, A.T., Gruska, D.: Reversible attack trees. In: 2021 IEEE 12th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON), pp. 0279\u20130285. IEEE (2021)","DOI":"10.1109\/UEMCON53757.2021.9666564"},{"key":"16_CR8","unstructured":"Ali, A.T., Gruska, D.P.: Dynamic attack trees. In: OVERLAY@ GandALF, pp. 25\u201329 (2021)"},{"key":"16_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-642-19751-2_6","volume-title":"Formal Aspects of Security and Trust","author":"B Kordy","year":"2011","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Foundations of attack\u2013defense trees. In: Degano, P., Etalle, S., Guttman, J. (eds.) FAST 2010. LNCS, vol. 6561, pp. 80\u201395. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-19751-2_6"},{"issue":"1","key":"16_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/logcom\/exs029","volume":"24","author":"B Kordy","year":"2014","unstructured":"Kordy, B., Mauw, S., Radomirovi\u0107, S., Schweitzer, P.: Attack-defense trees. J. Log. Comput. 24(1), 55\u201387 (2014)","journal-title":"J. Log. Comput."},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-17197-0_17","volume-title":"Decision and Game Theory for Security","author":"B Kordy","year":"2010","unstructured":"Kordy, B., Mauw, S., Melissen, M., Schweitzer, P.: Attack\u2013defense trees and two-player binary zero-sum extensive form games are equivalent. In: Alpcan, T., Butty\u00e1n, L., Baras, J.S. (eds.) GameSec 2010. LNCS, vol. 6442, pp. 245\u2013256. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-17197-0_17"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Gadyatskaya, O., Hansen, R.R., Larsen, K.G., et\u00a0al.: Modelling attack-defense trees using timed automata. In: International Conference on Formal Modeling and Analysis of Timed Systems, pp. 35\u201350 (2016)","DOI":"10.1007\/978-3-319-44878-7_3"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Copae, D.-V., Soltani, R., Lopuha\u00e4-Zwakenberg, M.: Attack-defense trees with offensive and defensive attributes. arXiv preprint arXiv:2504.12748 (2025)","DOI":"10.1109\/DSN64029.2025.00044"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Fila, B., Wide\u0142, W.: Exploiting attack\u2013defense trees to find an optimal set of countermeasures. In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), pp. 395\u2013410. IEEE (2020)","DOI":"10.1109\/CSF49147.2020.00035"},{"key":"16_CR15","doi-asserted-by":"crossref","unstructured":"Bistarelli, S., Fioravanti, F., Peretti, P.: Defense trees for economic evaluation of security investments. In: ARES, pp. 416\u2013423. IEEE (2006)","DOI":"10.1109\/ARES.2006.46"},{"issue":"8","key":"16_CR16","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1002\/sec.299","volume":"5","author":"A Roy","year":"2012","unstructured":"Roy, A., Kim, D.S., Trivedi, K.S.: Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees. Sec. Commun. Netw. 5(8), 929\u2013943 (2012)","journal-title":"Sec. Commun. Netw."},{"key":"16_CR17","unstructured":"Roy, A.: Attack countermeasure trees: a non-state-space approach towards analyzing security and finding optimal countermeasure sets. Ph.D. thesis, Duke University (2010)"},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Lopuha\u00e4-Zwakenberg, M., Stoelinga, M.: Cost-damage analysis of attack trees. In: 2023 53rd Annual IEEE\/IFIP International Conference on Dependable Systems and Networks (DSN), pp. 545\u2013558. IEEE (2023)","DOI":"10.1109\/DSN58367.2023.00057"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-75227-1_1","volume-title":"Formal Aspects in Security and Trust","author":"S Bistarelli","year":"2007","unstructured":"Bistarelli, S., Dall\u2019Aglio, M., Peretti, P.: Strategic games on defense trees. In: Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S. (eds.) FAST 2006. LNCS, vol. 4691, pp. 1\u201315. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75227-1_1"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Arias, J., Budde, C.E., Penczek, W., Petrucci, L., Sidoruk, T., Stoelinga, M.: Hackers vs. security: attack-defense trees as asynchronous multi-agent systems. In: International Conference on Formal Engineering Methods, pp. 3\u201319 (2020)","DOI":"10.1007\/978-3-030-63406-3_1"},{"key":"16_CR21","doi-asserted-by":"publisher","first-page":"48731","DOI":"10.1109\/ACCESS.2020.2977992","volume":"8","author":"Y Guo","year":"2020","unstructured":"Guo, Y., Jiang, X., Guo, C., Wang, S., Karoui, O.: Overview of opacity in discrete event systems. IEEE Access 8, 48731\u201348741 (2020)","journal-title":"IEEE Access"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"Saboori, A., Hadjicostis, C.N.: Verification of initial-state opacity in security applications of DES. In: 2008 9th International Workshop on Discrete Event Systems, pp. 328\u2013333 (2008)","DOI":"10.1109\/WODES.2008.4605967"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Ali, A.T., Gruska, D.: States of attack under incomplete information. In: IEEE CCWC, pp. 801\u2013807 (2022)","DOI":"10.1109\/CCWC54503.2022.9720758"},{"key":"16_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-642-04342-0_4","volume-title":"Recent Advances in Intrusion Detection","author":"M Reh\u00e1k","year":"2009","unstructured":"Reh\u00e1k, M.: Runtime monitoring and dynamic reconfiguration for intrusion detection systems. In: Kirda, E., Jha, S., Balzarotti, D. (eds.) RAID 2009. LNCS, vol. 5758, pp. 61\u201380. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04342-0_4"},{"key":"16_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/978-3-642-04761-9_7","volume-title":"Automated Technology for Verification and Analysis","author":"J Byg","year":"2009","unstructured":"Byg, J., J\u00f8rgensen, K.Y., Srba, J.: TAPAAL: editor, simulator and verifier of timed-Arc Petri Nets. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 84\u201389. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04761-9_7"},{"issue":"9","key":"16_CR26","doi-asserted-by":"publisher","first-page":"481","DOI":"10.3390\/info14090481","volume":"14","author":"HN Nguyen","year":"2023","unstructured":"Nguyen, H.N., Sabaliauskaite, G., Shaikh, S.A.: Formal template-based generation of attack-defense trees for automated security analysis. Information 14(9), 481 (2023)","journal-title":"Information"},{"issue":"9","key":"16_CR27","doi-asserted-by":"publisher","first-page":"481","DOI":"10.3390\/info14090481","volume":"14","author":"J Bryans","year":"2023","unstructured":"Bryans, J., et al.: Formal template-based generation of attack-defence trees for automated security analysis. Information 14(9), 481 (2023)","journal-title":"Information"},{"key":"16_CR28","doi-asserted-by":"publisher","unstructured":"Gruska, D., Ali, A.T., Leucker, M.: Using attack trees for security education and training: simplifying threat analysis. In: IFIP World Conference on Information Security Education, pp. 64\u201379. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-94924-1_5","DOI":"10.1007\/978-3-031-94924-1_5"},{"issue":"2","key":"16_CR29","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","Innovative Security Solutions for Information Technology and Communications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-17443-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,6]],"date-time":"2026-05-06T22:48:41Z","timestamp":1778107721000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-17443-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032174420","9783032174437"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-17443-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SecITC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Information Technology and Communications Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bucharest","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Romania","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"itc2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/secitc.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}