{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,15]],"date-time":"2026-07-15T16:48:23Z","timestamp":1784134103049,"version":"3.55.0"},"publisher-location":"Cham","reference-count":54,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031198489","type":"print"},{"value":"9783031198496","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-19849-6_31","type":"book-chapter","created":{"date-parts":[[2022,10,19]],"date-time":"2022-10-19T15:03:32Z","timestamp":1666191812000},"page":"556-574","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["An IoT Digital Twin for\u00a0Cyber-Security Defence Based on\u00a0Runtime Verification"],"prefix":"10.1007","author":[{"given":"Jorge David","family":"de Hoz Diego","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Anastasios","family":"Temperekidis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Charalambos","family":"Konstantinou","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,10,17]]},"reference":[{"key":"31_CR1","doi-asserted-by":"crossref","unstructured":"Arora, A., Kaur, A., Bhushan, B., Saini, H.: Security concerns and future trends of internet of things. In: 2019 2nd International Conference on Intelligent Computing, Instrumentation and Control Technologies (ICICICT), vol. 1, pp. 891\u2013896, July 2019","DOI":"10.1109\/ICICICT46008.2019.8993222"},{"issue":"3","key":"31_CR2","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1109\/MS.2018.2884883","volume":"36","author":"T Mikkonen","year":"2019","unstructured":"Mikkonen, T., Taivalsaari, A.: Software reuse in the era of opportunistic design. IEEE Softw. 36(3), 105\u2013111 (2019)","journal-title":"IEEE Softw."},{"key":"31_CR3","doi-asserted-by":"crossref","unstructured":"Thung, F., et al.: Automated deprecated-api usage update for android apps: how far are we? In: 2020 IEEE 27th International Conference on Software Analysis, Evolution and Reengineering (SANER), pp. 602\u2013611 (2020)","DOI":"10.1109\/SANER48275.2020.9054860"},{"issue":"1","key":"31_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1109\/JIOT.2021.3079916","volume":"9","author":"C Xenofontos","year":"2022","unstructured":"Xenofontos, C., Zografopoulos, I., Konstantinou, C., Jolfaei, A., Khan, M.K., Choo, K.-K.R.: Consumer, commercial, and industrial IOT (in)security: attack taxonomy and case studies. IEEE Internet Things J. 9(1), 199\u2013221 (2022)","journal-title":"IEEE Internet Things J."},{"key":"31_CR5","unstructured":"Corser, G.: Internet of things (IoT) security best practices. IEEE Internet Initiative, Tech. Rep., 2017. https:\/\/standards.ieee.org\/wp-content\/uploads\/import\/documents\/other\/whitepaper-internet-of-things-2017-dh-v1.pdf. Accessed 25 Apr 2022"},{"key":"31_CR6","doi-asserted-by":"crossref","unstructured":"Maroof, U., Shaghaghi, A., Michelin, R., Jha, S.: iRECOVer: patch your IoT on-the-fly. Futu. Gene. Comput. Syst. 132, 178\u2013193 (2022) [Online]. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0167739X22000589","DOI":"10.1016\/j.future.2022.02.014"},{"key":"31_CR7","doi-asserted-by":"publisher","unstructured":"Cheruvu, S., Kumar, A., Smith, N., Wheeler, D.M.: Conceptualizing the Secure Internet of Things, pp. 1\u201321. Apress, Berkeley (2020), [Online]. https:\/\/doi.org\/10.1007\/978-1-4842-2896-8_1","DOI":"10.1007\/978-1-4842-2896-8_1"},{"key":"31_CR8","unstructured":"E. U. A. for Network and I. Security: IoT security standards gap analysis. mapping of existing standards against requirements on security and privacy in the area of IoT (v1.0). ENISA, Tech. Rep. (2018). https:\/\/www.enisa.europa.eu\/publications\/cybersecurity-certification-eucc-candidate-scheme-v1-1.1. Accessed 25 Apr 2022"},{"key":"31_CR9","doi-asserted-by":"crossref","unstructured":"Mohd Aman, A.H., Yadegaridehkordi, E., Attarbashi, Z.S., Hassan, R., Park, Y.-J.: A survey on trend and classification of internet of things reviews. IEEE Access 8, 111 763\u2013111 782 (2020)","DOI":"10.1109\/ACCESS.2020.3002932"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Anand, P., Singh, Y., Selwal, A., Singh, P.K., Felseghi, R.A., Raboaca, M.S.: IoVT: Internet of vulnerable things? Threat architecture, attack surfaces, and vulnerabilities in internet of things and its applications towards smart grids. Energies 13(18) (2020). https:\/\/www.mdpi.com\/1996-1073\/13\/18\/4813","DOI":"10.3390\/en13184813"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"De Hoz Diego, J.D., Saldana, J., Fern\u00e1ndez-Navajas, J., Ruiz-Mas, J.: IOTsafe, decoupling security from applications for a safer IoT. IEEE Access 7, 29 942\u201329 962 (2019)","DOI":"10.1109\/ACCESS.2019.2900939"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"de Hoz Diego, J.D., Saldana, J., Fern\u00e1ndez-Navajas, J., Ruiz-Mas, J.: Decoupling security from applications in COAP-based IoT devices. IEEE Internet of Things J. 7(1), 467\u2013476 (2020)","DOI":"10.1109\/JIOT.2019.2951306"},{"key":"31_CR13","doi-asserted-by":"crossref","unstructured":"Papastergiou, G., et al.: De-ossifying the internet transport layer: a survey and future perspectives. IEEE Commun. Surveys Tutor. 19(1), 619\u2013639, Firstquarter (2017)","DOI":"10.1109\/COMST.2016.2626780"},{"key":"31_CR14","unstructured":"Grieves, M.: Digital twin: manufacturing excellence through virtual factory replication. Digital Twin Inst. Tech. Rep., March 2015"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Bergs, T., Gierlings, S., Auerbach, T., Klink, A., Schraknepper, D., Augspurger, T.: The concept of digital twin and digital shadow in manufacturing. Procedia CIRP 101, 81\u201384 (2021), 9th CIRP Conference on High Performance Cutting. [Online]. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2212827121006612","DOI":"10.1016\/j.procir.2021.02.010"},{"key":"31_CR16","doi-asserted-by":"publisher","unstructured":"Eckhart, M., Ekelhart, A.: Towards security-aware virtual environments for digital twins. In: Proceedings of the 4th ACM Workshop on Cyber-Physical System Security, series. CPSS 2018, pp. 61\u201372. Association for Computing Machinery, New York (2018) [Online]. https:\/\/doi.org\/10.1145\/3198458.3198464","DOI":"10.1145\/3198458.3198464"},{"key":"31_CR17","unstructured":"G.A. for Connected Industries and Automation. Using digital twins to integrate 5g into production networks. Tech. Rep. (2021). https:\/\/www.enisa.europa.eu\/publications\/cybersecurity-certification-eucc-candidate-scheme-v1-1.1. Accessed 25 Apr 2022"},{"issue":"1","key":"31_CR18","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/MCOM.001.21143","volume":"60","author":"LU Khan","year":"2022","unstructured":"Khan, L.U., Saad, W., Niyato, D., Han, Z., Hong, C.S.: Digital-twin-enabled 6g: Vision, architectural trends, and future directions. IEEE Commun. Mag. 60(1), 74\u201380 (2022)","journal-title":"IEEE Commun. Mag."},{"issue":"5","key":"31_CR19","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/MNET.011.1900587","volume":"34","author":"L Zhao","year":"2020","unstructured":"Zhao, L., Han, G., Li, Z., Shu, L.: Intelligent digital twin-based software-defined vehicular networks. IEEE Netw. 34(5), 178\u2013184 (2020)","journal-title":"IEEE Netw."},{"key":"31_CR20","doi-asserted-by":"crossref","unstructured":"Yuan, X., Wang, X., Lin, J., Wang, C.: Privacy-preserving deep packet inspection in outsourced middleboxes. In: IEEE INFOCOM 2016 - The 35th Annual IEEE International Conference on Computer Communications, pp. 1\u20139 (2016)","DOI":"10.1109\/INFOCOM.2016.7524526"},{"issue":"7","key":"31_CR21","doi-asserted-by":"publisher","first-page":"657","DOI":"10.1109\/TSE.2018.2797899","volume":"45","author":"Y Cai","year":"2019","unstructured":"Cai, Y., Xiao, L., Kazman, R., Mo, R., Feng, Q.: Design rule spaces: a new model for representing and analyzing software architecture. IEEE Trans. Softw. Eng. 45(7), 657\u2013682 (2019)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"31_CR22","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1109\/MS.2020.2986613","volume":"37","author":"G Fairbanks","year":"2020","unstructured":"Fairbanks, G.: Ur-technical debt. IEEE Softw. 37(4), 95\u201398 (2020)","journal-title":"IEEE Softw."},{"key":"31_CR23","doi-asserted-by":"crossref","unstructured":"Feng, Q., Kazman, R., Cai, Y., Mo, R., Xiao, L.: Towards an architecture-centric approach to security analysis. In: 2016 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA), pp. 221\u201330, April 2016","DOI":"10.1109\/WICSA.2016.41"},{"key":"31_CR24","unstructured":"Tassey, G.: The economic impacts of inadequate infrastructure for software tesing. Tech. Rep. (2002). https:\/\/www.nist.gov\/system\/files\/documents\/director\/planning\/report02-3.pdf, National Institute of Standards and Technology. Accessed 25 Apr 2022"},{"key":"31_CR25","doi-asserted-by":"publisher","unstructured":"Kumar, S., Kaur, A., Jolly, A., Baz, M., Cheikhrouhou, O.: Cost benefit analysis of incorporating security and evaluation of its effects on various phases of agile software development. Math. Probl. Eng. 2021, 7837153, August 2021. [Online]. https:\/\/doi.org\/10.1155\/2021\/7837153","DOI":"10.1155\/2021\/7837153"},{"key":"31_CR26","unstructured":"D.-G. for Communication: Circular economy action plan. for a cleaner and more competitive Europe. European Commission, Tech. Rep. (2019)"},{"key":"31_CR27","doi-asserted-by":"crossref","unstructured":"Calisto Friant, M., Vermeulen, W.J., Salomone, R.: Analysing European Union circular economy policies: words versus actions. Sustain. Prod. Consump, 27, 337\u2013353 (2021). [Online]. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2352550920313750","DOI":"10.1016\/j.spc.2020.11.001"},{"key":"31_CR28","doi-asserted-by":"crossref","unstructured":"Mastrogiacomo, L., Barravecchia, F., Franceschini, F.:Definition of a conceptual scale of servitization: proposal and preliminary results. CIRP J. Manuf. Sci. Technol. 29, 141\u2013156 (2020), New Research Advances on Product Service System along the Lifecycle [Online]. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1755581718300610","DOI":"10.1016\/j.cirpj.2018.11.003"},{"key":"31_CR29","unstructured":"RE-manufaCturing and Refurbishment LArge Industrial equipMent: extending the life of large industrial equipment. H2020 EU Grant agreement ID: 869884. 2019\u20132023. https:\/\/cordis.europa.eu\/project\/id\/869884 Accessed 25 Apr 2022"},{"key":"31_CR30","unstructured":"Alessandro Fontana, L.R., Leone, D., Barni, A.: Reclaim project D4.1: circular economy driven lifetime extension strategies. EU Horizon 2020 grant 869884, Tech. Rep. (2020). https:\/\/ec.europa.eu\/research\/participants\/documents\/downloadPublic?documentIds=080166e5db5b6032 &appId=PPGMS. Accessed 25 Apr 2022"},{"key":"31_CR31","unstructured":"E. U. A. for Network and I. Security: EUCC, a candidate cybersecurity certification scheme to serve as a successor to the existing sog-is (v1.1.1). Tech. Rep. (2021). https:\/\/www.enisa.europa.eu\/publications\/cybersecurity-certification-eucc-candidate-scheme-v1-1.1. Accessed 25 Apr 2022"},{"issue":"1","key":"31_CR32","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1109\/MSEC.2020.3037845","volume":"19","author":"JL Hernandez-Ramos","year":"2021","unstructured":"Hernandez-Ramos, J.L., Matheu, S.N., Skarmeta, A.: The challenges of software cybersecurity certification [building security in]. IEEE Secur. Privacy 19(1), 99\u2013102 (2021)","journal-title":"IEEE Secur. Privacy"},{"key":"31_CR33","unstructured":"ENISA: Regulation (eu) 2019\/881 of the european parliament and of the council of 17 April 2019 on ENISA (the European Union agency for cybersecurity) and on information and communications technology cybersecurity certification (cybersecurity act). , Tech. Rep. (2019). https:\/\/eur-lex.europa.eu\/eli\/reg\/2019\/881\/oj. Accessed 25 Apr 2022"},{"key":"31_CR34","unstructured":"PCI Security Standards Council (2022). https:\/\/www.pcisecuritystandards.org\/. Accessed 26 May 2022"},{"key":"31_CR35","doi-asserted-by":"crossref","unstructured":"Francesco, F.: Digital twins as run-time predictive models for the resilience of cyber-physical systems: a conceptual framework. Phil. Trans. R. Soc. A. 379, 2207 (2021)","DOI":"10.1098\/rsta.2020.0369"},{"key":"31_CR36","doi-asserted-by":"crossref","unstructured":"Hou, Z., Li, Q., Foo, E., Dong, J.S., de Souza, P.: A digital twin runtime verification framework for protecting satellites systems from cyber attacks. In: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 117\u2013122 (2022)","DOI":"10.1109\/ICECCS54210.2022.00022"},{"issue":"1","key":"31_CR37","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1109\/JSYST.2016.2594290","volume":"12","author":"M Mosleh","year":"2018","unstructured":"Mosleh, M., Dalili, K., Heydari, B.: Distributed or monolithic? A computational architecture decision framework. IEEE Syst. J. 12(1), 125\u2013136 (2018)","journal-title":"IEEE Syst. J."},{"key":"31_CR38","doi-asserted-by":"crossref","unstructured":"Kherbache, M., Maimour, M., Rondeau, E.: When digital twin meets network softwarization in the industrial IoT: real-time requirements case study. Sensors 21,24 (2021). https:\/\/www.mdpi.com\/1424-8220\/21\/24\/8194","DOI":"10.3390\/s21248194"},{"key":"31_CR39","unstructured":"Almasan, P., et al.: Digital twin network: opportunities and challenges. (2022) [Online]. arXiv:2201.01144"},{"key":"31_CR40","doi-asserted-by":"publisher","unstructured":"Liu, Y.K., Ong, S.K., Nee, A.Y.C.: State-of-the-art survey on digital twin implementations. Adv. Manuf. 10(1), 1\u201323 (2022). https:\/\/doi.org\/10.1007\/s40436-021-00375-w","DOI":"10.1007\/s40436-021-00375-w"},{"key":"31_CR41","doi-asserted-by":"crossref","unstructured":"Qi, Q., et al.: Enabling technologies and tools for digital twin. Digital twin towards smart manufacturing and Industry 4.0. J. Manuf. Syst. 58, 3\u201321. (2021) [Online]. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S027861251930086X","DOI":"10.1016\/j.jmsy.2019.10.001"},{"key":"31_CR42","unstructured":"de Hoz Diego, J.D.: Secure communication method and system using network socket proxying. U.S. patent 11 050. Tech. Rep. (2021). https:\/\/patentscope.wipo.int\/search\/en\/detail.jsf?docId=US328388155. Accessed 25 Apr 2022"},{"key":"31_CR43","unstructured":"Inetd - the super server. Tech. Rep. (2020). BSD System Manager\u2019s Manual. https:\/\/www.freebsd.org\/cgi\/man.cgi?query=inetd. Accessed 25 Apr 2022"},{"key":"31_CR44","doi-asserted-by":"crossref","unstructured":"de Hoz, J.D., et al.: Leveraging on digital signage networks to bring connectivity IOT devices. Tecnia 26(1), 89\u2013100 (2016). [Online]. https:\/\/zaguan.unizar.es\/record\/95466?ln=en","DOI":"10.21754\/tecnia-26012016.09"},{"key":"31_CR45","doi-asserted-by":"crossref","unstructured":"Iyengar, M.T.J.: [RFC 9000] QUIC: A UDP-based multiplexed and secure transport. Internet Engineering Task Force, Tech. Rep., May 2021. [Online]. https:\/\/datatracker.ietf.org\/doc\/rfc9000\/","DOI":"10.17487\/RFC9000"},{"key":"31_CR46","unstructured":"Bider, D.: QUIC-based UDP transport for secure shell. Internet Engineering Task Force, Tech. Rep., December 2020. [Online]. https:\/\/datatracker.ietf.org\/doc\/html\/draft-bider-ssh-quic-09"},{"key":"31_CR47","unstructured":"The cPanel & WHM Service Daemons (2021): https:\/\/docs.cpanel.net\/knowledge-base\/cpanel-product\/the-cpanel-service-daemons\/. Accessed 26 May 2022"},{"key":"31_CR48","unstructured":"Praerit Garg, L.K.: The stride threat model. Microsoft, Tech. Rep., 12 2009. [Online]. https:\/\/docs.microsoft.com\/en-us\/previous-versions\/commerce-server\/ee823878(v=cs.20)"},{"key":"31_CR49","unstructured":"Carpenter, S.B.B.: [RFC 3234] middleboxes: taxonomy and issues. Internet Engineering Task Force, Tech. Rep., 02 2002. [Online]. https:\/\/www.rfc-editor.org\/rfc\/rfc3234"},{"key":"31_CR50","unstructured":"Octave forte: establish a more adaptable and robust risk program. The Software Engineering Institute, Tech. Rep., June 2020. [Online]. https:\/\/resources.sei.cmu.edu\/library\/asset-view.cfm?assetid=643959"},{"key":"31_CR51","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-662-45231-8_18","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications","author":"K Havelund","year":"2014","unstructured":"Havelund, K.: Monitoring with data automata. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 254\u2013273. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_18"},{"issue":"2","key":"31_CR52","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s10009-014-0309-2","volume":"17","author":"K Havelund","year":"2015","unstructured":"Havelund, K.: Rule-based runtime verification revisited. Int. J. Softw. Tools Technol. Transfer 17(2), 143\u2013170 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"31_CR53","unstructured":"accept(2). Linux Programmer\u2019s Manual, Tech. Rep. (2021). https:\/\/man7.org\/linux\/man-pages\/man2\/accept.2.html. Accessed: 25 Apr 2022"},{"key":"31_CR54","unstructured":"connect(2). Linux Programmer\u2019s Manual, Tech. Rep. (2021). https:\/\/man7.org\/linux\/man-pages\/man2\/connect.2.html. Accessed 25 Apr 2022"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-19849-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T00:11:49Z","timestamp":1666224709000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-19849-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031198489","9783031198496"],"references-count":54,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-19849-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"17 October 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","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":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}