{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T17:59:19Z","timestamp":1790445559365,"version":"4.1.0"},"reference-count":26,"publisher":"Polish Information Processing Society","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.15439\/2026f6570","type":"proceedings-article","created":{"date-parts":[[2026,9,25]],"date-time":"2026-09-25T07:08:26Z","timestamp":1790320106000},"page":"549-554","source":"Crossref","is-referenced-by-count":0,"title":["Modelling and analysing cyber-resilience of an autonomous vehicle with zonal architecture with SCORE+"],"prefix":"10.15439","volume":"47","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0790-0004","authenticated-orcid":true,"given":"Hanna","family":"Klaudel","sequence":"first","affiliation":[{"name":"IBISC, Univ. Evry, Universit\u00e9 Paris-Saclay"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7039-0994","authenticated-orcid":true,"given":"Witold","family":"Klaudel","sequence":"additional","affiliation":[{"name":"Safe-Tech Cybernetics, Palaiseau, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"6175","published-online":{"date-parts":[[2026,9,27]]},"reference":[{"key":"ref1","unstructured":"SAE levels of driving automation refined for clarity and international audience. https:\/\/www.sae.org\/blog\/sae-j3016-update. Accessed: (February 1st, 2025)."},{"key":"ref2","unstructured":"Ebios risk manager. French Cybersecurity Agency, 2024. https:\/\/www.ssi.gouv.fr\/uploads\/2019\/11\/anssi-guide-ebios_risk_ manager-en-v1.0.pdf."},{"key":"ref3","doi-asserted-by":"crossref","unstructured":"J. Arias, C. E Budde, W. Penczek, L. Petrucci, T. Sidoruk, and M. Stoelinga. Hackers vs. security: attack-defence trees as asynchronous multi-agent systems. In Formal Engineering Methods, pages 3\u201319. Springer, 2020.","DOI":"10.1007\/978-3-030-63406-3_1"},{"key":"ref4","doi-asserted-by":"crossref","unstructured":"Z. Aslanyan and F. Nielson. Pareto efficient solutions of attack-defence trees. volume 9036, pages 95\u2013114, 2015.","DOI":"10.1007\/978-3-662-46666-7_6"},{"key":"ref5","doi-asserted-by":"crossref","unstructured":"A. Bagnato, B. Kordy, P. H. Meland, and P. Schweitzer. Attribute decoration of attack\u2013defense trees. International Journal of Secure Software Engineering, 2012.","DOI":"10.4018\/jsse.2012040101"},{"key":"ref6","doi-asserted-by":"crossref","unstructured":"M. S. Barik, A. Sengupta, and C. Mazumdar. Attack graph generation and analysis techniques. Defence Science Journal, 66(6):559, 2016.","DOI":"10.14429\/dsj.66.10795"},{"key":"ref7","doi-asserted-by":"crossref","unstructured":"G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In LNCS, volume 3185, pages 200\u2013236. Springer, 2004.","DOI":"10.1007\/978-3-540-30080-9_7"},{"key":"ref8","doi-asserted-by":"crossref","unstructured":"F. Di Maio, R. Mascherona, and E. Zio. Risk analysis of cyber-physical systems by gtst-mld. IEEE Systems Journal, 14(1):1333\u20131340, 2019.","DOI":"10.1109\/JSYST.2019.2928046"},{"key":"ref9","doi-asserted-by":"crossref","unstructured":"Mengmeng Ge, Jin B Hong, Walter Guttmann, and Dong Seong Kim. A framework for automating security analysis of the internet of things. Journal of Network and Computer Applications, 83:12\u201327, 2017.","DOI":"10.1016\/j.jnca.2017.01.033"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"Chris Hankin, Pasquale Malacaria, et al. Attack dynamics: an automatic attack graph generation framework based on system topology, capec, cwe, and cve databases. Computers & Security, 123:102938, 2022.","DOI":"10.1016\/j.cose.2022.102938"},{"key":"ref11","doi-asserted-by":"crossref","unstructured":"G. Hutzler, H. Klaudel, W. Klaudel, F. Pommereau, and A. Rataj. Automatic discovery of cyberattacks. In IEEE International Conference on Cyber Security and Resilience, CSR 2024, pages 1\u20138. IEEE, 2024.","DOI":"10.1109\/CSR61664.2024.10679497"},{"key":"ref12","doi-asserted-by":"crossref","unstructured":"G. Hutzler, H. Klaudel, W. Klaudel, F. Pommereau, and A. Rataj. An autonomous vehicle in a connected environment: case study of cyberresilience. In FedCSIS, volume 39 of Annals of Computer Science and Information Systems, pages 363\u2013373, 2024.","DOI":"10.15439\/2024F8797"},{"key":"ref13","unstructured":"Road vehicles, Cybersecurity engineering. Standard, International Organization for Standardization, Geneva, CH, 2021."},{"key":"ref14","doi-asserted-by":"crossref","unstructured":"Sushil Jajodia, Steven Noel, and Brian O\u2019berry. Topological analysis of network attack vulnerability. Managing Cyber Threats: Issues, Approaches, and Challenges, pages 247\u2013266, 2005.","DOI":"10.1007\/0-387-24230-9_9"},{"key":"ref15","doi-asserted-by":"crossref","unstructured":"K. Kaynar. A taxonomy for attack graph generation and usage in network security. J. of Information Security and Applications, 29:27\u201356, 2016.","DOI":"10.1016\/j.jisa.2016.02.001"},{"key":"ref16","doi-asserted-by":"crossref","unstructured":"K. Kaynar and F. Sivrikaya. Distributed attack graph generation. IEEE Trans. on Dependable and Secure Computing, 13(5):519\u2013532, 2016.","DOI":"10.1109\/TDSC.2015.2423682"},{"key":"ref17","unstructured":"H. Klaudel and W. Klaudel. Modelling and analysing cyber-resilience of an autonomous vehicle with zonal architecture with score+ (long version). \u3008hal-05669933\u3009, 2024."},{"key":"ref18","doi-asserted-by":"crossref","unstructured":"B. Kordy, S. Mauw, S. Radomirovi\u0107, and P. Schweitzer. Attack\u2013defense trees. Journal of Logic and Computation, 24(1):55\u201387, 06 2012.","DOI":"10.1093\/logcom\/exs029"},{"key":"ref19","doi-asserted-by":"crossref","unstructured":"R. Kumar, S. Schivo, E. Ruijters, B. Mehmet Yildiz, D. Huistra, J. Brandt, A. Rensink, and M. Stoelinga. Effective analysis of attack trees: A model-driven approach. In FASE 2018, pages 56\u201373. Springer International Publishing, 2018.","DOI":"10.1007\/978-3-319-89363-1_4"},{"key":"ref20","doi-asserted-by":"crossref","unstructured":"H. Singh Lallie, K. Debattista, and J. Bal. A review of attack graph and attack tree visual syntax in cyber security. Computer Science Review, 35:100219, 2020.","DOI":"10.1016\/j.cosrev.2019.100219"},{"key":"ref21","doi-asserted-by":"crossref","unstructured":"H. Li, Y. Wang, and Y. Cao. Searching forward complete attack graph generation algorithm based on hypergraph partitioning. Procedia Computer Science, 107:27\u201338, 2017.","DOI":"10.1016\/j.procs.2017.03.052"},{"key":"ref22","doi-asserted-by":"crossref","unstructured":"S. Mauw and M. Oostdijk. Foundations of attack trees. In Information Security and Cryptology-ICISC 2005, pages 186\u2013198. Springer, 2006.","DOI":"10.1007\/11734727_17"},{"key":"ref23","unstructured":"MITRE. Common weakness enumeration, 2023. https:\/\/cwe.mitre.org\/ data\/index.html."},{"key":"ref24","doi-asserted-by":"crossref","unstructured":"R.W. Ritchey and P. Ammann. Using model checking to analyze network vulnerabilities. In IEEE Symposium on Security and Privacy, pages 156\u2013 165, 2000.","DOI":"10.1109\/SECPRI.2000.848453"},{"key":"ref25","doi-asserted-by":"crossref","unstructured":"M. Salfer, H. Schweppe, and C. Eckert. Efficient attack forest construction for automotive on-board networks. In Information Security, pages 442\u2013453, Cham, 2014. Springer International Publishing.","DOI":"10.1007\/978-3-319-13257-0_27"},{"key":"ref26","doi-asserted-by":"crossref","unstructured":"O. Sheyner, J. Haines, S. Jha, R. Lippmann, and J.M. Wing. Automated generation and analysis of attack graphs. In IEEE Symposium on Security and Privacy, pages 273\u2013284, 2002.","DOI":"10.1109\/SECPRI.2002.1004377"}],"event":{"name":"21st Conference on Computer Science and Intelligence Systems (FedCSIS)","theme":"Computer Science and Intelligence Systems","location":"Riga, Latvia","acronym":"FedCSIS","number":"21","start":{"date-parts":[[2026,8,23]]},"end":{"date-parts":[[2026,8,26]]}},"container-title":["Annals of Computer Science and Information Systems","Proceedings of the 21st Conference on Computer Science and Intelligence Systems (FedCSIS)"],"original-title":[],"deposited":{"date-parts":[[2026,9,26]],"date-time":"2026-09-26T17:48:15Z","timestamp":1790444895000},"score":1,"resource":{"primary":{"URL":"https:\/\/annals-csis.org\/Volume_47\/drp\/6570.html"}},"subtitle":[],"proceedings-subject":"Computer Science and Information Systems","short-title":[],"issued":{"date-parts":[[2026,9,27]]},"references-count":26,"URL":"https:\/\/doi.org\/10.15439\/2026f6570","relation":{},"ISSN":["2300-5963"],"issn-type":[{"value":"2300-5963","type":"print"}],"subject":[],"published":{"date-parts":[[2026,9,27]]}}}