{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T08:46:52Z","timestamp":1758444412496,"version":"3.44.0"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032050724"},{"type":"electronic","value":"9783032050731"}],"license":[{"start":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T00:00:00Z","timestamp":1758412800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,21]],"date-time":"2025-09-21T00:00:00Z","timestamp":1758412800000},"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-05073-1_6","type":"book-chapter","created":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:15Z","timestamp":1758353835000},"page":"77-91","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["MBCA: A Model-Based Approach for Cybersecurity Analysis of Cyber-Physical Systems"],"prefix":"10.1007","author":[{"given":"Antoine","family":"Sfeir","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Macaire","family":"Medenou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raoul","family":"Guiazon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,9,21]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Serru, T.: Model-Based Security Assessment of Cyber-Physical Systems: Analyzing The impact of cyberattacks on safety using Altarica. PhD Thesis, CERGY PARIS UNIVERSIT\u00c9 (2023). https:\/\/hal.science\/hal-04191802v1\/document","DOI":"10.1145\/3593811"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Wasicek, A., Derler, P., Lee, E.: Aspect-oriented modeling of attacks in automotive cyber-physical systems. In: 51 St Annual Design Automation Conference, San Francisco, CA USA (2014)","DOI":"10.1145\/2593069.2593095"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Navas, J., Vorin, J., Stephane, P., Bonnet, S.: Towards a model-based approach to systems and cyber security co-engineering. In: 29th Annual Incose international symposium, vol. 29, no. 1. Wiley Online Library, pp. 850\u2013865 (2019)","DOI":"10.1002\/j.2334-5837.2019.00639.x"},{"key":"6_CR4","unstructured":"Martin, P., Flaus, J.: Study on the mutual contribution of model-based concepts and cybersecurity. In\u00a0: Proceedings of the Congr\u00e8s Lambda Mu 24 \u201324e Congr\u00e8s de Ma\u00eetrise des Risques et de S\u00fbret\u00e9 de Fonctionnement, Institut Pour la Ma\u00eetrise des Risques, Bourges, France (2024)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Serru, T., Nguyen, N., Batteux, M., Rauzy, A.: Modeling cyberattack propagation and impacts on cyber-physical system safety: an experiment. Electronics 12, 77 (2022)","DOI":"10.3390\/electronics12010077"},{"key":"6_CR6","doi-asserted-by":"publisher","unstructured":"Paul, S., et al.: Recommendations for Security and Safety Co-engineering (Release n\u00b03) - Part a, Technical report (2016). https:\/\/doi.org\/10.13140\/RG.2.1.3124.9044","DOI":"10.13140\/RG.2.1.3124.9044"},{"key":"6_CR7","unstructured":"EUROCAE. AIRWORTHINESS SECURITY METHODS AND CONSIDERATIONS. Technical Report ED-203A The European Organisation for Civil Aviation Equipment (2018). Cited on page\/s ix, 3, 11, 16, 17, 28"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"1836","DOI":"10.1109\/TPWRS.2008.2002298","volume":"23","author":"CW Ten","year":"2008","unstructured":"Ten, C.W., Liu, C.C., Manimaran, G.: Vulnerability assessment of cybersecurity for SCADA systems. IEEE Trans. Power Syst. 23(4), 1836\u20131846 (2008)","journal-title":"IEEE Trans. Power Syst."},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1109\/TSMCA.2010.2048028","volume":"40","author":"CW Ten","year":"2010","unstructured":"Ten, C.W., Liu, C.C., Manimaran, G.: Cybersecurity for critical infrastructures: attack and defense modeling. IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans 40(4), 853\u2013865 (2010)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans"},{"issue":"8","key":"6_CR10","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1002\/sec.299","volume":"5","author":"A Roy","year":"2012","unstructured":"Roy, A., Kim, D., Trivedi, K.: Attack countermeasure trees (ACT): towards unifying the constructs of attack and defense trees. Security and Communication Networks 5(8), 929\u2013943 (2012)","journal-title":"Security and Communication Networks"},{"key":"6_CR11","unstructured":"Niol, J., M\u00e9ric, N., Tlig, M.: Behavior and semantic modeling for the safety of critical autonomous systems. Lambda Mu 22 (2020)"},{"key":"6_CR12","unstructured":"Serru, T., et al.: Generation of cyberattacks leading to safety top event using altarica: an automotive case study. In Proceedings of the Congr\u00e8s Lambda Mu 23 \u201c Innovations et Ma\u00eetrise des Risques Pour un Avenir Durable \u201d\u201323e Congr\u00e8s de Ma\u00eetrise des Risques et de S\u00fbret\u00e9 de Fonctionnement, Institut Pour la Ma\u00eetrise des Risques, Angers, France (2022)"},{"key":"6_CR13","unstructured":"Monteil, L., Aulnette, R., de Bossoreille, X., Sagaspe, L.: D\u00e9finition d\u2019une synergie entre une m\u00e9thode et un outil pour une \u00e9tude MBSA. In\u00a0: Proceedings of the Congr\u00e8s Lambda Mu 24 \u201324e Congr\u00e8s de Ma\u00eetrise des Risques et de S\u00fbret\u00e9 de Fonctionnement, Institut Pour la Ma\u00eetrise des Risques, Bourges, France (2024) https:\/\/hal.science\/hal-04963728v1"},{"key":"6_CR14","unstructured":"Apvrille, L., Roudier, Y.: SysML-Sec: a sysml environment for the design and development of secure embedded systems. In: Annual International Conference of the Asia-Pacific Council on Systems Engineering 2013. Yokohama, Japan (2013). https:\/\/hal.telecom-paris.fr\/hal-02288385"},{"key":"6_CR15","unstructured":"Li, L.: Safe and Secure Model-Driven Design for Embedded Systems. Ph.D. thesis, Telecom Paris (2018)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Papadopoulos, Y., McDermid, J.: Hierarchically Performed Hazard Origin and Propagation Studies, Computer Safety, Reliability and Security, 1698 of LNCS, pp. 688\u2013688 (1999)","DOI":"10.1007\/3-540-48249-0_13"},{"key":"6_CR17","unstructured":"ARP4761A: Guidelines for conducting the safety assessment process on civil aircraft, systems, and equipment. Technical report, SAE International (2023)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Da Silva M., Nguyen, N.: Quantitative Security Metrics: Assessment of Cyberattack Scenarios for Cyber-Physical Systems (2025)","DOI":"10.1109\/DSN-S65789.2025.00048"}],"container-title":["Lecture Notes in Computer Science","Model-Based Safety and Assessment"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-05073-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,20]],"date-time":"2025-09-20T07:37:23Z","timestamp":1758353843000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-05073-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,21]]},"ISBN":["9783032050724","9783032050731"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-05073-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,21]]},"assertion":[{"value":"21 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IMBSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Model-Based Safety and Assessment","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Athens","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","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":"24 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"imbsa2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/imbsa-conference.com","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}