{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T17:00:50Z","timestamp":1784998850905,"version":"3.55.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032020178","type":"print"},{"value":"9783032020185","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T00:00:00Z","timestamp":1755820800000},"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-02018-5_13","type":"book-chapter","created":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T10:16:31Z","timestamp":1755771391000},"page":"169-178","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Cybersecurity in\u00a0Partitioned Space Embedded Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-1376-0650","authenticated-orcid":false,"given":"Luis","family":"Ortiz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6606-7406","authenticated-orcid":false,"given":"Alfons","family":"Crespo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-9381-7932","authenticated-orcid":false,"given":"Marc","family":"Fontalba","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9458-4083","authenticated-orcid":false,"given":"Patricia","family":"Balbastre","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4677-7627","authenticated-orcid":false,"given":"Jos\u00e9 E.","family":"Sim\u00f3","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7277-5927","authenticated-orcid":false,"given":"Pedro","family":"Albertos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,8,22]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","unstructured":"Abdi, F., et\u00a0al.: Guaranteed physical security with restart-based design for cyber-physical systems. In: 2018 ACM\/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS), pp. 10\u201321 (2018)","DOI":"10.1109\/ICCPS.2018.00010"},{"key":"13_CR2","unstructured":"ARINC: Avionics Application Software Standard Interface (ARINC SPECIFICATION 653-1). Airlines Electronic Eng. Committee (2003)"},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"12293","DOI":"10.3182\/20140824-6-ZA-1003.02410","volume":"47","author":"A Crespo","year":"2014","unstructured":"Crespo, A., Masmano, M., Coronel, J., Peir\u00f3, S., Balbastre, P., Sim\u00f3, J.: Multicore partitioned systems based on hypervisor. IFAC Proc. Vol. 47(3), 12293\u201312298 (2014)","journal-title":"IFAC Proc. Vol."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Crespo, A., Ripoll, I., Masmano, M.: Partitioned embedded architecture based on hypervisor: the XtratuM approach. In: European Dependable Computing Conference (EDCC), pp. 67\u201372 (2010)","DOI":"10.1109\/EDCC.2010.18"},{"key":"13_CR5","unstructured":"European Space Agency: IMA-SP Integrated Modular Avionics for Space IMA-SP Integrated Modular Avionics for Space (2011)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Falco, G.: Cybersecurity principles for space systems. J. Aeros. Inf. Syst. 16, 1\u201310 (2018)","DOI":"10.2514\/1.I010693"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Gross, M., Hohentanner, K., Wiehler, S., Sigl, G.: Enhancing the security of fpga-socs via the usage of arm trustzone and a hybrid-tpm. ACM Trans. Reconfigur. Technol. Syst. 15(1) (2021)","DOI":"10.1145\/3472959"},{"key":"13_CR8","unstructured":"Jiang, Z.H., Fei, Y., Ding, A.A., Wahl, T.: MemPoline: mitigating memory-based side-channel attacks through memory access obfuscation. Cryptology ePrint Archive, Paper 2020\/653 (2020)"},{"key":"13_CR9","unstructured":"Kaiser, R., Wagner, S.: Evolution of the PikeOS microkernel. In: First International Workshop on MicroKernels for Embedded Systems. MIKES, Sydney (2007)"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/COMST.2020.3028247","volume":"23","author":"O Kodheli","year":"2021","unstructured":"Kodheli, O., et al.: Satellite communications in the new space era: a survey and future challenges. IEEE Commun. Surv. Tutor. 23(1), 70\u2013109 (2021)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"13_CR11","unstructured":"Livingstone, D., Lewis, P.: Space, the final frontier for cybersecurity? Research paper, Royal Institute of International Affairs (2016)"},{"key":"13_CR12","unstructured":"Masmano, M., Ripoll, I., Crespo, A., Metge, J.: XtratuM: a hypervisor for safety critical embedded systems. In: 11th Real-Time Linux Workshop, pp. 263\u2013272 (2009)"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Rufino, J., et\u00a0al.: AIR: technology innovation for future spacecraft onboard computing systems. In: Proceedings of EUROCON 2011, pp.\u00a01\u20132. IEEE (2011)","DOI":"10.1109\/EUROCON.2011.5929321"},{"key":"13_CR14","unstructured":"Rushby, J.: Partitioning in avionics architectures: Requirements, mechanisms, and assurance. Technical report, NASA Langley Technical Report (1999)"},{"key":"13_CR15","unstructured":"Rushby, J.: Security requirements specifications: How and what? In: Symposium on Requirements Engineering for Information Security (SREIS) (2001)"},{"issue":"1","key":"13_CR16","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1109\/COMST.2024.3408277","volume":"27","author":"S Salim","year":"2025","unstructured":"Salim, S., Moustafa, N., Reisslein, M.: Cybersecurity of satellite communications systems: a comprehensive survey of the space, ground, and links segments. IEEE Commun. Surv. Tutor. 27(1), 372\u2013425 (2025)","journal-title":"IEEE Commun. Surv. Tutor."},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Tipaldi, M., Silvestrini, S., Pesce, V., Colagrossi, A.: FDIR development approaches in space systems. In: Modern Spacecraft Guidance, Navigation, and Control, pp. 631\u2013646. Elsevier (2023)","DOI":"10.1016\/B978-0-323-90916-7.00011-1"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Trujillo, S., Crespo, A., Alonso, A., P\u00c3rez, J.: MultiPARTES: multi-core partitioning and virtualization for easing the certification of mixed-criticality systems. Microprocess. Microsyst. 38(8), 921\u2013932 (2014)","DOI":"10.1016\/j.micpro.2014.09.004"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Windsor, J., Hjortnaes, K.: Time and space partitioning in spacecraft avionics. In: Proceedings of the 3rd IEEE International Conference on Space Mission Challenges for Information Technology, pp. 13\u201320 (2009)","DOI":"10.1109\/SMC-IT.2009.11"},{"key":"13_CR20","unstructured":"Xilinx Inc.: Xilinx Inc. Zynq UltraScale+ Reference Manual (2018). https:\/\/www.xilinx.com\/content\/dam\/xilinx\/support\/documentation\/user-guides\/ug1085-zynq-ultrascale-trm.pdf"},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Yanyan, H., Gang, G., Jiaxin, W., Peiliang, Z.: A survey of satellite internet network attack and defense techniques. In: Cross Strait Radio Science and Wireless Technology Conference (CSRSWTC), pp. 01\u201303 (2023)","DOI":"10.1109\/CSRSWTC60855.2023.10426896"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02018-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,25]],"date-time":"2026-07-25T16:06:42Z","timestamp":1784995602000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02018-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,22]]},"ISBN":["9783032020178","9783032020185"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02018-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,8,22]]},"assertion":[{"value":"22 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors declare that they have no competing interests.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"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":"Stockholm","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","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":"9 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"44","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2025.se\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}