{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:56:58Z","timestamp":1743055018432,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031201363"},{"type":"electronic","value":"9783031201370"}],"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-20137-0_4","type":"book-chapter","created":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T08:05:40Z","timestamp":1669709140000},"page":"103-117","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["TRUSTED VIRTUALIZATION-BASED PROGRAMMABLE LOGIC CONTROLLER RESILIENCE USING A BACKFIT APPROACH"],"prefix":"10.1007","author":[{"given":"James","family":"Cervini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Muller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Beall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joseph","family":"Maurio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aviel","family":"Rubin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lanier","family":"Watkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,11,30]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"F. Armknecht, A. Sadeghi, S. Schulz and C. Wachsmann, A security framework for the analysis and design of software attestation, Proceedings of the ACM SIGSAC Conference on Computer and Communications Security, 2013.","key":"4_CR1","DOI":"10.1145\/2508859.2516650"},{"doi-asserted-by":"crossref","unstructured":"J. Cervini, A. Rubin and L. Watkins, A containerization-based backfit approach for industrial control system resiliency, Proceedings of the IEEE Symposium on Security and Privacy Workshops, pp. 246\u2013252, 2021.","key":"4_CR2","DOI":"10.1109\/SPW53761.2021.00043"},{"doi-asserted-by":"crossref","unstructured":"T. Cruz, P. Simoes and E. Monteiro, Virtualizing programmable logic controllers: Toward a convergent approach, IEEE Embedded Systems Letters, vol. 8(4), pp. 69\u201372, 2016.","key":"4_CR3","DOI":"10.1109\/LES.2016.2608418"},{"unstructured":"T. Dawson, Who were the leading vendors of industrial controls in 2017? Interact Analysis, Raunds, United Kingdom (interactanalysis.com\/who-were-the-leading-vendors-of-industrial-controls-in-2017), November 2018.","key":"4_CR4"},{"doi-asserted-by":"crossref","unstructured":"A. Francillon, Q. Nguyen, K. Rasmussen and G. Tsudik, A minimalist approach to remote attestation, Proceedings of the Design, Automation and Test in Europe Conference and Exhibition, 2014.","key":"4_CR5","DOI":"10.7873\/DATE2014.257"},{"doi-asserted-by":"crossref","unstructured":"S. Fujita, K. Hata, A. Mochizuki, K. Sawada, S. Shin and S. Hosokawa, OpenPLC-based control system testbed for PLC whitelisting, Artificial Life and Robotics, vol. 26(1), pp. 149\u2013154, 2021.","key":"4_CR6","DOI":"10.1007\/s10015-020-00635-1"},{"unstructured":"H. Ghaeini, M. Chan, R. Bahmani, F. Brasser, L. Garcia, J. Zhou, A. Sadeghi, N. Tippenhauer and S. Zonouz, PAtt: Physics-based attestation of control systems, Proceedings of the Twenty-Second International Symposium on Research in Attacks, Intrusions and Defenses, pp. 165\u2013180, 2019.","key":"4_CR7"},{"doi-asserted-by":"crossref","unstructured":"O. Givehchi, J. Imtiaz, H. Trsek and J. Jasperneite, Control-as-a-service from the cloud: A case study for using virtualized PLCs, Proceedings of the Tenth IEEE Workshop on Factory Communication Systems, 2014.","key":"4_CR8","DOI":"10.1109\/WFCS.2014.6837587"},{"doi-asserted-by":"crossref","unstructured":"M. Salehi and S. Bayat-Sarmadi, PLCDefender: Improving remote attestation techniques for PLCs using a physical model, IEEE Internet of Things Journal, vol. 8(9), pp. 7372\u20137379, 2021.","key":"4_CR9","DOI":"10.1109\/JIOT.2020.3040237"},{"unstructured":"A. Seshadri, A. Perrig, L. van Doorn and P. Khosla, SWATT: Software-based attestation for embedded devices, Proceedings of the IEEE Symposium on Security and Privacy, pp. 272\u2013282, 2004.","key":"4_CR10"},{"unstructured":"tpm2-software community, Remote attestation (tpm2-software.github.io\/tpm2-tss\/getting-started\/2019\/12\/18\/Remote-Attestation.html), December 18, 2019.","key":"4_CR11"}],"container-title":["IFIP Advances in Information and Communication Technology","Critical Infrastructure Protection XVI"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-20137-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,29]],"date-time":"2022-11-29T08:08:17Z","timestamp":1669709297000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-20137-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031201363","9783031201370"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-20137-0_4","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1868-422X"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"30 November 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCIP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Critical Infrastructure Protection","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 March 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 March 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccip2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}