{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:27:28Z","timestamp":1766068048136,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031686054"},{"type":"electronic","value":"9783031686061"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-68606-1_14","type":"book-chapter","created":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:02:40Z","timestamp":1725836560000},"page":"218-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Safety-Security Analysis via\u00a0Attack-Fault-Defense Trees: Semantics and\u00a0Cut Set Metrics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4585-1602","authenticated-orcid":false,"given":"Reza","family":"Soltani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5687-854X","authenticated-orcid":false,"given":"Milan","family":"Lopuha\u00e4-Zwakenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6793-8165","authenticated-orcid":false,"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,9,9]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","unstructured":"Arias, J., Budde, C.E., Penczek, W., Petrucci, L., Sidoruk, T., Stoelinga, M.: Hackers vs. security: attack-defence trees as asynchronous multi-agent systems. In: Lin, SW., Hou, Z., Mahony, B. (eds.) Formal Methods and Software Engineering. ICFEM 2020. Lecture Notes in Computer Science(), vol. 12531. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63406-3_1","DOI":"10.1007\/978-3-030-63406-3_1"},{"key":"14_CR2","unstructured":"ElaadNL: Smoothems met gridshield, elaad.nl\/projecten\/smoothems-met-gridshield\/"},{"issue":"4","key":"14_CR3","doi-asserted-by":"publisher","first-page":"944","DOI":"10.1109\/SURV.2011.101911.00087","volume":"14","author":"X Fang","year":"2012","unstructured":"Fang, X., Misra, S., Xue, G., Yang, D.: Smart grid - the new and improved power grid: a survey. IEEE Commun. Surv. Tutorials 14(4), 944\u2013980 (2012). https:\/\/doi.org\/10.1109\/SURV.2011.101911.00087","journal-title":"IEEE Commun. Surv. Tutorials"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Fila, B., Wide\u0142, W.: Exploiting attack-defense trees to find an optimal set of countermeasures. In: 2020 IEEE 33rd Computer Security Foundations Symposium (CSF), pp. 395\u2013410 (2020). https:\/\/doi.org\/10.1109\/CSF49147.2020.00035","DOI":"10.1109\/CSF49147.2020.00035"},{"key":"14_CR5","unstructured":"IEC, I.: 61025: Fault tree analysis (fta). Tech. rep., Technical Report (2006)"},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Jepsen, S.C., et al.: A research setup demonstrating flexible industry 4.0 production. In: 2021 International Symposium ELMAR, pp. 143\u2013150 (2021).https:\/\/doi.org\/10.1109\/ELMAR52657.2021.9550961","DOI":"10.1109\/ELMAR52657.2021.9550961"},{"issue":"3","key":"14_CR7","doi-asserted-by":"publisher","first-page":"894","DOI":"10.1016\/j.ejor.2019.04.035","volume":"278","author":"M Khouzani","year":"2019","unstructured":"Khouzani, M., Liu, Z., Malacaria, P.: Scalable min-max multi-objective cyber-security optimisation over probabilistic attack graphs. Eur. J. Oper. Res. 278(3), 894\u2013903 (2019). https:\/\/doi.org\/10.1016\/j.ejor.2019.04.035","journal-title":"Eur. J. Oper. Res."},{"key":"14_CR8","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-defense trees and two-player binary zero-sum extensive form games are equivalent. In: Alpcan, T., Butty\u00e1n, L., Baras, J.S. (eds.) Decision and Game Theory for Security, pp. 245\u2013256. Springer, Berlin Heidelberg, Berlin, Heidelberg (2010)"},{"issue":"1","key":"14_CR9","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":"14_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.cosrev.2014.07.001","volume":"13","author":"B Kordy","year":"2014","unstructured":"Kordy, B., Pi\u00e8tre-Cambac\u00e9d\u00e8s, L., Schweitzer, P.: Dag-based attack and defense modeling: don\u2019t miss the forest for the attack trees. Comput. sci. rev. 13, 1\u201338 (2014)","journal-title":"Comput. sci. rev."},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/j.ress.2015.02.008","volume":"139","author":"S Kriaa","year":"2015","unstructured":"Kriaa, S., Pietre-Cambacedes, L., Bouissou, M., Halgand, Y.: A survey of approaches combining safety and security for industrial control systems. Reliab. Eng. Syst. Saf. 139, 156\u2013178 (2015)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Kumar, R., Stoelinga, M.: Quantitative security and safety analysis with attack-fault trees. In: 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), pp. 25\u201332. IEEE (2017)","DOI":"10.1109\/HASE.2017.12"},{"issue":"3","key":"14_CR13","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1109\/TR.1985.5222114","volume":"34","author":"WS Lee","year":"1985","unstructured":"Lee, W.S., Grosh, D.L., Tillman, F.A., Lie, C.H.: Fault tree analysis, methods, and applications a review. IEEE Trans. Reliab. 34(3), 194\u2013203 (1985)","journal-title":"IEEE Trans. Reliab."},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Lopuha\u00e4-Zwakenberg, M., Budde, C.E., Stoelinga, M.: Efficient and generic algorithms for quantitative attack tree analysis. IEEE Trans. Dependable Secure Comput. 20(5), 4169\u20134187 (2022)","DOI":"10.1109\/TDSC.2022.3215752"},{"key":"14_CR15","doi-asserted-by":"publisher","first-page":"100597","DOI":"10.1016\/j.cosrev.2023.100597","volume":"50","author":"SM Nicoletti","year":"2023","unstructured":"Nicoletti, S.M., Peppelman, M., Kolb, C., Stoelinga, M.: Model-based joint analysis of safety and security: survey and identification of gaps. Comput. Sci. Rev. 50, 100597 (2023). https:\/\/doi.org\/10.1016\/j.cosrev.2023.100597","journal-title":"Comput. Sci. Rev."},{"issue":"8","key":"14_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. Secur. Commun. Netw. 5(8), 929\u2013943 (2012). https:\/\/doi.org\/10.1002\/sec.299","journal-title":"Secur. Commun. Netw."},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.cosrev.2015.03.001","volume":"15","author":"E Ruijters","year":"2015","unstructured":"Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. sci. rev. 15, 29\u201362 (2015)","journal-title":"Comput. sci. rev."},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-319-12544-2_4","volume-title":"Complex Systems Design & Management Asia","author":"G Sabaliauskaite","year":"2015","unstructured":"Sabaliauskaite, G., Mathur, A.P.: Aligning cyber-physical system safety and security. In: Cardin, M.A., Krob, D., Lui, P.C., Tan, Y.H., Wood, K. (eds.) Complex Systems Design & Management Asia, pp. 41\u201353. Springer International Publishing, Cham (2015)"},{"key":"14_CR19","doi-asserted-by":"publisher","unstructured":"van Sambeek, H.L., Zweistra, M., Hoogsteen, G., Varenhorst, I.A.M., Janssen, S.: GridShield-optimizing the use of grid capacity during increased EV adoption. World Electr. Veh. J. 14(3) (2023).https:\/\/doi.org\/10.3390\/wevj14030068, https:\/\/www.mdpi.com\/2032-6653\/14\/3\/68","DOI":"10.3390\/wevj14030068"},{"key":"14_CR20","unstructured":"Schneier, B.: Modeling security threats. Dr. Dobb\u2019s J. 24(12) (1999)"},{"key":"14_CR21","doi-asserted-by":"publisher","unstructured":"Soltani, R., Kang, E.Y., Mena, J.E.H.: Towards energy-aware cyber-physical systems verification and optimization. In: Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems. Annals of Computer Science and Information Systems, vol. 26, pp. 205\u2013210. PTI (2021)https:\/\/doi.org\/10.15439\/2021F125, http:\/\/dx.doi.org\/10.15439\/2021F125","DOI":"10.15439\/2021F125"},{"key":"14_CR22","unstructured":"Soltani, R., Kang, E.Y., Mena, J.E.H.: Verification and optimization of cyber-physical systems: Preprint for FedCSIS. arXiv preprint arXiv:2109.01574 (2021)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-031-43681-9_12","volume-title":"Formal Methods for Industrial Critical Systems","author":"R Soltani","year":"2023","unstructured":"Soltani, R., Volk, M., Diamonte, L., Lopuha\u00e4-Zwakenberg, M., Stoelinga, M.: Optimal spare management via statistical model checking: a case study in research reactors. In: Cimatti, A., Titolo, L. (eds.) Formal Methods for Industrial Critical Systems, pp. 205\u2013223. Springer Nature Switzerland, Cham (2023)"},{"issue":"1","key":"14_CR24","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0951-8320(01)00121-1","volume":"75","author":"M \u010cepin","year":"2002","unstructured":"\u010cepin, M., Mavko, B.: A dynamic fault tree. Reliab. Eng. Syst. Saf. 75(1), 83\u201391 (2002). https:\/\/doi.org\/10.1016\/S0951-8320(01)00121-1","journal-title":"Reliab. Eng. Syst. Saf."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-68606-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T23:04:40Z","timestamp":1725836680000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-68606-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031686054","9783031686061"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-68606-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"9 September 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Florence","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"43","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.safecomp2024.unifi.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}