{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T17:22:13Z","timestamp":1770571333394,"version":"3.49.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032124838","type":"print"},{"value":"9783032124845","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-12484-5_17","type":"book-chapter","created":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:47:52Z","timestamp":1770270472000},"page":"314-332","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Action-Based Security Rules for\u00a0Railway Control Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4691-7570","authenticated-orcid":false,"given":"Rocco","family":"De Nicola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1024-9470","authenticated-orcid":false,"given":"Simone","family":"Soderi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,6]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","unstructured":"Bajan, P.M., et al.: Proposal of cybersecurity and safety co-engineering approaches on cyber-physical systems. In: Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6\u20139, 2022, Proceedings, pp. 175\u2013188. Springer-Verlag, Berlin, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-14835-4_12","DOI":"10.1007\/978-3-031-14835-4_12"},{"key":"17_CR2","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Gnesi, S., Mazzanti, F.: From EU projects to a family of model checkers - from kandinsky to kandisti. In: Nicola, R.D., Hennicker, R. (eds.) Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. Lecture Notes in Computer Science, vol.\u00a08950, pp. 312\u2013328. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-15545-6_20","DOI":"10.1007\/978-3-319-15545-6_20"},{"key":"17_CR3","unstructured":"CENELEC: TS\u00a050701:2021 Railway applications \u2013 Cybersecurity. Technical specification, European Committee for Electrotechnical Standardization (Jul 2021)"},{"issue":"7","key":"17_CR4","doi-asserted-by":"publisher","first-page":"761","DOI":"10.1016\/0169-7552(93)90047-8","volume":"25","author":"R De Nicola","year":"1993","unstructured":"De Nicola, R., Fantechi, A., Gnesi, S., Ristori, G.: An action-based framework for veryfying logical and behavioural properties of concurrent systems. Comput. Netw. ISDN Syst. 25(7), 761\u2013778 (1993). https:\/\/doi.org\/10.1016\/0169-7552(93)90047-8","journal-title":"Comput. Netw. ISDN Syst."},{"key":"17_CR5","doi-asserted-by":"publisher","unstructured":"De Nicola, R.: Process Algebras. In: Padua, D.A. (ed.) Encyclopedia of Parallel Computing, pp. 1624\u20131636. Springer (2011). https:\/\/doi.org\/10.1007\/978-0-387-09766-4_450","DOI":"10.1007\/978-0-387-09766-4_450"},{"key":"17_CR6","doi-asserted-by":"publisher","unstructured":"De Nicola, R., Vaandrager, F.W.: Action versus state based logics for transition systems. In: Guessarian, I. (ed.) Semantics of Systems of Concurrent Processes, LITP. Lecture Notes in Computer Science, vol.\u00a0469, pp. 407\u2013419. Springer (1990). https:\/\/doi.org\/10.1007\/3-540-53479-2_17","DOI":"10.1007\/3-540-53479-2_17"},{"key":"17_CR7","doi-asserted-by":"publisher","unstructured":"Di Claudio, M., Fantechi, A., Martelli, G., Menabeni, S., Nesi, P.: Model-based development of an automatic train operation component for communication based train control. In: Intelligent Transportation Systems Conference (ITSC), pp. 1015\u20131020. IEEE (2014). https:\/\/doi.org\/10.1109\/ITSC.2014.6957821","DOI":"10.1109\/ITSC.2014.6957821"},{"key":"17_CR8","unstructured":"ENISA: Railway Cybersecurity - Good Practices in Cyber Risk Management. European Union Agency for Cybersecurity (Nov 2021)"},{"key":"17_CR9","unstructured":"European\u00a0Commission, DG\u00a0MOVE, M., Transport: Subsystems and constituents of the ertms. European Commission, DG MOVE, Mobility and Transport - Accessed Sep. 19, 2025. https:\/\/transport.ec.europa.eu\/transport-modes\/rail\/ertms\/what-ertms-and-how-does-it-work\/subsystems-and-constituents-ertms_en"},{"key":"17_CR10","doi-asserted-by":"publisher","unstructured":"European Union Agency for Cybersecurity, Helmut, K., Schlehuber, C., Ooms, K., Theocharidou, M., Naydenov, R.: Zoning and conduits for railways. European Union Agency for Cybersecurity (2022). https:\/\/doi.org\/10.2824\/761090","DOI":"10.2824\/761090"},{"key":"17_CR11","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Gnesi, S., Mazzanti, F., Pugliese, R., Tronci, E.: A symbolic model checker for actl. In: Hutter, D., Stephan, W., Traverso, P., Ullmann, M. (eds.) Applied Formal Methods \u2014 FM-Trends 98. pp. 228\u2013242. Springer Berlin Heidelberg, Berlin, Heidelberg (1999). https:\/\/doi.org\/10.1007\/3-540-48257-1_14","DOI":"10.1007\/3-540-48257-1_14"},{"key":"17_CR12","doi-asserted-by":"publisher","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: What next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) Software Engineering and Formal Methods, pp. 167\u2013183. Springer International Publishing, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-05032-4_13","DOI":"10.1007\/978-3-319-05032-4_13"},{"issue":"4","key":"17_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.geits.2025.100305","volume":"4","author":"T Fernandes","year":"2025","unstructured":"Fernandes, T., Magalh\u00e3es, J.P., Alves, W.: Cybersecurity in smart railways: exploring risks, vulnerabilities and mitigation in the data communication services. Green Energy Intell. Transport. 4(4), 100305 (2025). https:\/\/doi.org\/10.1016\/j.geits.2025.100305","journal-title":"Green Energy Intell. Transport."},{"key":"17_CR14","doi-asserted-by":"publisher","unstructured":"Ferrari, A., ter Beek, M.H.: Formal methods in railways: A systematic mapping study. ACM Comput. Surv. 55(4) (Nov 2022). https:\/\/doi.org\/10.1145\/3520480","DOI":"10.1145\/3520480"},{"issue":"11","key":"17_CR15","doi-asserted-by":"publisher","first-page":"4675","DOI":"10.1109\/TSE.2021.3124677","volume":"48","author":"A Ferrari","year":"2022","unstructured":"Ferrari, A., Mazzanti, F., Basile, D., ter Beek, M.H.: Systematic evaluation and usability analysis of formal methods tools for railway signaling system design. IEEE Trans. Software Eng. 48(11), 4675\u20134691 (2022). https:\/\/doi.org\/10.1109\/TSE.2021.3124677","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR16","doi-asserted-by":"publisher","unstructured":"Garavel, H., Lang, F., Mateescu, R.: Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52(4-5), 337\u2013392 (2015). https:\/\/doi.org\/10.1007\/S00236-015-0226-1","DOI":"10.1007\/S00236-015-0226-1"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Groote, J.F., Mousavi, M.R.: Modeling and Analysis of Communicating Systems. MIT Press (2014). https:\/\/mitpress.mit.edu\/books\/modeling-and-analysis-communicating-systems","DOI":"10.7551\/mitpress\/9946.001.0001"},{"issue":"8","key":"17_CR18","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1109\/32.879808","volume":"26","author":"A Haxthausen","year":"2000","unstructured":"Haxthausen, A., Peleska, J.: Formal development and verification of a distributed railway control system. IEEE Trans. Software Eng. 26(8), 687\u2013701 (2000). https:\/\/doi.org\/10.1109\/32.879808","journal-title":"IEEE Trans. Software Eng."},{"key":"17_CR19","doi-asserted-by":"publisher","unstructured":"Haxthausen, A.E., Fantechi, A.: Compositional verification of railway interlocking systems. Form. Asp. Comput. 35(1) (Jan 2023). https:\/\/doi.org\/10.1145\/3549736","DOI":"10.1145\/3549736"},{"key":"17_CR20","doi-asserted-by":"publisher","unstructured":"Ledru, Y., Idani, A., Ben\u00a0Ayed, R., Ait\u00a0Wakrime, A., Bon, P.: A separation of concerns approach for the verified modelling of railway signalling rules. In: Collart-Dutilleul, S., Lecomte, T., Romanovsky, A. (eds.) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, pp. 173\u2013190. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-18744-6_11","DOI":"10.1007\/978-3-030-18744-6_11"},{"key":"17_CR21","doi-asserted-by":"publisher","unstructured":"Liyanage, M., Kumar, P., Soderi, S., Ylianttila, M., Gurtov, A.: Performance and security evaluation of intra-vehicular communication architecture. In: 2016 IEEE International Conference on Communications Workshops (ICC), pp. 302\u2013308 (2016). https:\/\/doi.org\/10.1109\/ICCW.2016.7503804","DOI":"10.1109\/ICCW.2016.7503804"},{"key":"17_CR22","doi-asserted-by":"publisher","unstructured":"Nunes, J., Cruz, T., Sim\u00f5es, P.: Railway infrastructure cybersecurity: an overview. In: European Conference on Cyber Warfare and Security, vol.\u00a023, pp. 331\u2013340 (06 2024). https:\/\/doi.org\/10.34190\/eccws.23.1.2296","DOI":"10.34190\/eccws.23.1.2296"},{"key":"17_CR23","doi-asserted-by":"publisher","unstructured":"Peleska, J., Feuser, J., Haxthausen, A.E.: The model-driven openetcs paradigm for secure, safe and certifiable train control systems. In: Railway Safety, Reliability, and Security: Technologies and Systems Engineering, pp. 22\u201352. IGI Global Scientific Publishing (2012). https:\/\/doi.org\/10.4018\/978-1-4666-1643-1.ch002","DOI":"10.4018\/978-1-4666-1643-1.ch002"},{"key":"17_CR24","unstructured":"Schlehuber, C., Benoliel, S.: CENELEC prTS 50701 (Railway applications \u2013 CyberSecurity). In: Cybersecurity in Railways, pp. 1\u201318. ENISA-ERA (2021)"},{"key":"17_CR25","doi-asserted-by":"publisher","unstructured":"Soderi, S., Masti, D., H\u00e4m\u00e4l\u00e4inen, M., Iinatti, J.: Cybersecurity considerations for communication based train control. IEEE Access 11, 92312\u201392321 (2023). https:\/\/doi.org\/10.1109\/ACCESS.2023.3309005","DOI":"10.1109\/ACCESS.2023.3309005"},{"key":"17_CR26","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2023.3254442","author":"S Soderi","year":"2023","unstructured":"Soderi, S., Masti, D., Zacchia Lun, Y.: Railway cyber-security in the era of interconnected systems: a survey. Trans. Intell. Transport. Syst. (2023). https:\/\/doi.org\/10.1109\/TITS.2023.3254442","journal-title":"Trans. Intell. Transport. Syst."},{"key":"17_CR27","unstructured":"Yusof, A., Liu, Y., Kang, N., Seah, C.M., Liang, Z., Chang, E.C.: Signals and symptoms: ICS attack dataset from railway cyber range (2025). https:\/\/arxiv.org\/abs\/2507.01768"},{"key":"17_CR28","doi-asserted-by":"publisher","unstructured":"Zhu, Y., et al.: Privacy-preserving large-scale ai models for intelligent railway transportation systems: Hierarchical poisoning attacks and defenses in federated learning. Comput. Model. Eng. Sci. 141(2), 1305\u20131325 (2024). https:\/\/doi.org\/10.32604\/cmes.2024.054820","DOI":"10.32604\/cmes.2024.054820"}],"container-title":["Lecture Notes in Computer Science","Journeys Between Formal Methods and the Railway Industry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12484-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:47:54Z","timestamp":1770270474000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12484-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032124838","9783032124845"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12484-5_17","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":"6 February 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}