{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,30]],"date-time":"2026-06-30T19:03:34Z","timestamp":1782846214952,"version":"3.54.5"},"publisher-location":"Cham","reference-count":59,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031660634","type":"print"},{"value":"9783031660641","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-66064-1_5","type":"book-chapter","created":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T10:02:00Z","timestamp":1721988120000},"page":"64-84","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Formally Verified ZTA Requirements for\u00a0OT\/ICS Environments with\u00a0Isabelle\/HOL"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7498-6691","authenticated-orcid":false,"given":"Yakoub","family":"Nemouchi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sriharsha","family":"Etigowni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2601-7604","authenticated-orcid":false,"given":"Alexander","family":"Zolan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Richard","family":"Macwan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,7,27]]},"reference":[{"key":"5_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-030-57043-9_11","volume-title":"Security Protocols XXVII","author":"P Anantharaman","year":"2020","unstructured":"Anantharaman, P., et al.: Mismorphism: the heart of the weird machine. In: Anderson, J., Stajano, F., Christianson, B., Maty\u00e1\u0161, V. (eds.) Security Protocols 2019. LNCS, vol. 12287, pp. 113\u2013124. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-57043-9_11"},{"key":"5_CR2","unstructured":"Barnes, J., Johnson, R., Widmaier, J.C.: Engineering the Tokeneer enclave protection software. In: 1st IEEE International Symposium on Secure Software Engineering, ISSSE 2006, Proceedings (2006)"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-642-39320-4_29","volume-title":"Intelligent Computer Mathematics","author":"B Barras","year":"2013","unstructured":"Barras, B., et al.: Pervasive parallelism in highly-trustable interactive theorem proving systems. In: Carette, J., Aspinall, D., Lange, C., Sojka, P., Windsteiger, W. (eds.) CICM 2013. LNCS (LNAI), vol. 7961, pp. 359\u2013363. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39320-4_29"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Bockenek, J., Lammich, P., Nemouchi, Y., Wolff, B.: Using Isabelle\/UTP for the verification of sorting algorithms. In: Proceedings of the Isabelle Workshop, FLoC 2018, Proceedings (2018)","DOI":"10.29007\/ddqm"},{"key":"5_CR5","unstructured":"Burns, A., Davis, R.: Mixed criticality systems-a review. Department of Computer Science, University of York, Technical report, pp. 1\u201369 (2013)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Butterfield, A., Mjeda, A., Noll, J.: UTP semantics for shared-state, concurrent, context-sensitive process models. In: 2016 10th International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 93\u2013100 (2016)","DOI":"10.1109\/TASE.2016.22"},{"key":"5_CR7","unstructured":"Chan, M., Ricketts, D., Lerner, S., Malecha, G.: Formal verification of stability properties of cyber-physical systems. In: Proceedings CoqPL (2016)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Cofer, D., et\u00a0al.: A formal approach to constructing secure air vehicle software. Computer 51(11), 14\u201323 (2018)","DOI":"10.1109\/MC.2018.2876051"},{"key":"5_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-39698-4_9","volume-title":"Theories of Programming and Formal Methods","author":"H Dang Van","year":"2013","unstructured":"Dang Van, H., Truong, H.: Modeling and specification of real-time interfaces with UTP. In: Liu, Z., Woodcock, J., Zhu, H. (eds.) Theories of Programming and Formal Methods. LNCS, vol. 8051, pp. 136\u2013150. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39698-4_9"},{"key":"5_CR10","unstructured":"Desharnais, M., Vukmirovic, P., Blanchette, J., Wenzel, M.: Seventeen provers under the hammer. In: Andronick, J., de\u00a0Moura, L. (eds.) 13th International, ITP 2022, 7\u201310 August 2022, Haifa, Israel. LIPIcs, vol. 237, pp. 8:1\u20138:18. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022)"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Dreier, J., Puys, M., Potet, M.-L., Lafourcade, P., Roch, J.-L.: Formally verifying flow properties in industrial systems. In: SECRYPT 2017-14th International Conference on Security and Cryptography, pp. 55\u201366 (2017)","DOI":"10.5220\/0006396500550066"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/978-3-030-31038-7_7","volume-title":"Unifying Theories of Programming","author":"S Foster","year":"2019","unstructured":"Foster, S.: Hybrid relations in Isabelle\/UTP. In: Ribeiro, P., Sampaio, A. (eds.) UTP 2019. LNCS, vol. 11885, pp. 130\u2013153. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-31038-7_7"},{"issue":"6","key":"5_CR13","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/s00165-021-00537-4","volume":"33","author":"S Foster","year":"2021","unstructured":"Foster, S., Nemouchi, Y., Gleirscher, M., Wei, R., Kelly, T.: Integration of formal proof into unified assurance cases with Isabelle\/SACM. Formal Aspects Comput. 33(6), 855\u2013884 (2021)","journal-title":"Formal Aspects Comput."},{"key":"5_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2021.100681","volume":"121","author":"S Foster","year":"2021","unstructured":"Foster, S., Ye, K., Cavalcanti, A., Woodcock, J.: Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121, 100681 (2021)","journal-title":"J. Log. Algebraic Methods Program."},{"key":"5_CR15","unstructured":"Foster, S., Zeyda, F., Nemouchi, Y., Ribeiro, P., Wolff, B.: Isabelle\/UTP: mechanised theory engineering for unifying theories of programming. Arch. Formal Proofs 2019 (2019)"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-3-319-46750-4_17","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2016","author":"S Foster","year":"2016","unstructured":"Foster, S., Zeyda, F., Woodcock, J.: Unifying heterogeneous state-spaces with lenses. In: Sampaio, A., Wang, F. (eds.) ICTAC 2016. LNCS, vol. 9965, pp. 295\u2013314. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46750-4_17"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/978-3-319-96142-2_3","volume-title":"Computer Aided Verification","author":"A Gacek","year":"2018","unstructured":"Gacek, A., Backes, J., Whalen, M., Wagner, L., Ghassabani, E.: The JKind model checker. In: Chockler, H., Weissenbacher, G. (eds.) CAV 2018. LNCS, vol. 10982, pp. 20\u201327. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-96142-2_3"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-030-30446-1_5","volume-title":"Software Engineering and Formal Methods","author":"M Gleirscher","year":"2019","unstructured":"Gleirscher, M., Foster, S., Nemouchi, Y.: Evolution of formal model-based assurance cases for autonomous robots. In: \u00d6lveczky, P.C., Sala\u00fcn, G. (eds.) SEFM 2019. LNCS, vol. 11724, pp. 87\u2013104. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30446-1_5"},{"issue":"6","key":"5_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3357231","volume":"52","author":"M Gleirscher","year":"2019","unstructured":"Gleirscher, M., Foster, S., Woodcock, J.: New opportunities for integrated formal methods. ACM Comput. Surv. (CSUR) 52(6), 1\u201336 (2019)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"5_CR20","unstructured":"Green, B., et al.: ICS testbed tetris: practical building blocks towards a cyber security resource. In: The 13th USENIX Workshop on Cyber Security Experimentation and Test (CSET 2020) (2020)"},{"key":"5_CR21","unstructured":"Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice Hall, Englewood Cliffs (1998)"},{"issue":"6","key":"5_CR22","doi-asserted-by":"publisher","first-page":"1802","DOI":"10.1109\/JIOT.2017.2703172","volume":"4","author":"A Humayed","year":"2017","unstructured":"Humayed, A., Lin, J., Li, F., Luo, B.: Cyber-physical systems security - a survey. IEEE Internet Things J. 4(6), 1802\u20131831 (2017)","journal-title":"IEEE Internet Things J."},{"issue":"11","key":"5_CR23","doi-asserted-by":"publisher","first-page":"3931","DOI":"10.3390\/en15113931","volume":"15","author":"J Johnson","year":"2022","unstructured":"Johnson, J., Berg, T., Anderson, B., Wright, B.: Review of electric vehicle charger cybersecurity vulnerabilities, potential impacts, and defenses. Energies 15(11), 3931 (2022)","journal-title":"Energies"},{"key":"5_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/11813040_19","volume-title":"FM 2006: Formal Methods","author":"IT Kassios","year":"2006","unstructured":"Kassios, I.T.: Dynamic frames: support for framing, dependencies and sharing without restrictions. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 268\u2013283. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11813040_19"},{"issue":"3","key":"5_CR25","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s00165-010-0152-5","volume":"23","author":"IT Kassios","year":"2011","unstructured":"Kassios, I.T.: The dynamic frames theory. Formal Aspects Comput. 23(3), 267\u2013288 (2011)","journal-title":"Formal Aspects Comput."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Khan, M.T., Serpanos, D., Shrobe, H.: ARMET: behavior-based secure and resilient industrial control systems. Proc. IEEE 106(1), 129\u2013143 (2017)","DOI":"10.1109\/JPROC.2017.2725642"},{"key":"5_CR27","unstructured":"Kindervag, J.: Build security into your network\u2019s DNA: the zero trust network architecture. Forrester Res., 1\u201326 (2010)"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Kounev, V., Tipper, D., Yavuz, A.A., Grainger, B.M., Reed, G.F.: A secure communication architecture for distributed microgrid control. IEEE Trans. Smart Grid 6(5), 2484\u20132492 (2015)","DOI":"10.1109\/TSG.2015.2424160"},{"key":"5_CR29","doi-asserted-by":"crossref","unstructured":"Kulik, T.: A survey of practical formal methods for security. Formal Aspects Comput. 34(1), 1\u201339 (2022)","DOI":"10.1145\/3522582"},{"key":"5_CR30","unstructured":"Lammich, P., Wimmer, S.: IMP2 - simple program verification in Isabelle\/HOL. Arch. Formal Proofs 2019 (2019)"},{"key":"5_CR31","unstructured":"Lewis, T.G.: Critical Infrastructure Protection in Homeland Security: Defending a Networked Nation. Wiley (2019)"},{"key":"5_CR32","doi-asserted-by":"publisher","unstructured":"Mahnke, W., Leitner, S.-H., Damm, M.: OPC Unified Architecture. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-540-68899-0","DOI":"10.1007\/978-3-540-68899-0"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Malecha, G., Ricketts, D., Alvarez, M.M., Lerner, S.: Towards foundational verification of cyber-physical systems. In: 2016 Science of Security for Cyber-Physical Systems Workshop (SOSCYPS), pp. 1\u20135. IEEE (2016)","DOI":"10.1109\/SOSCYPS.2016.7580000"},{"issue":"3","key":"5_CR34","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10817-015-9360-2","volume":"56","author":"D Matichuk","year":"2016","unstructured":"Matichuk, D., Murray, T., Wenzel, M.: Eisbach: a proof method language for Isabelle. J. Autom. Reason. 56(3), 261\u2013282 (2016)","journal-title":"J. Autom. Reason."},{"key":"5_CR35","doi-asserted-by":"crossref","unstructured":"Moness, M., Moustafa, A.M.: A survey of cyber-physical advances and challenges of wind energy conversion systems: prospects for internet of energy. IEEE Internet Things J. 3(2), 134\u2013145 (2015)","DOI":"10.1109\/JIOT.2015.2478381"},{"key":"5_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/978-3-030-34968-4_21","volume-title":"Integrated Formal Methods","author":"Y Nemouchi","year":"2019","unstructured":"Nemouchi, Y., Foster, S., Gleirscher, M., Kelly, T.: Isabelle\/SACM: computer-assisted assurance cases with integrated formal methods. In: Ahrendt, W., Tapia Tarifa, S.L. (eds.) IFM 2019. LNCS, vol. 11918, pp. 379\u2013398. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-34968-4_21"},{"key":"5_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL - A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle\/HOL - A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45949-9"},{"key":"5_CR38","unstructured":"MODBUS Organization: MODBUS Messaging on TCP\/IP Implementation Guide: v1.0b. MODBUS Organization (2006)"},{"key":"5_CR39","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/978-3-642-35746-6_3","volume-title":"Tools for Practical Software Verification","author":"C Paulin-Mohring","year":"2012","unstructured":"Paulin-Mohring, C.: Introduction to the Coq proof-assistant for practical software verification. In: Meyer, B., Nordio, M. (eds.) LASER 2011. LNCS, vol. 7682, pp. 45\u201395. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-35746-6_3"},{"issue":"1\u20132","key":"5_CR40","doi-asserted-by":"publisher","first-page":"85","DOI":"10.3233\/JCS-1998-61-205","volume":"6","author":"LC Paulson","year":"1998","unstructured":"Paulson, L.C.: The inductive approach to verifying cryptographic protocols. J. Comput. Secur. 6(1\u20132), 85\u2013128 (1998)","journal-title":"J. Comput. Secur."},{"key":"5_CR41","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14509-4","DOI":"10.1007\/978-3-642-14509-4"},{"key":"5_CR42","doi-asserted-by":"publisher","unstructured":"Platzer, A.: Logical Foundations of Cyber-Physical Systems. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-63588-0","DOI":"10.1007\/978-3-319-63588-0"},{"key":"5_CR43","doi-asserted-by":"crossref","unstructured":"Rocchetto, M., Tippenhauer, N.O.: Towards formal security analysis of industrial control systems. In: Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security, pp. 114\u2013126 (2017)","DOI":"10.1145\/3052973.3053024"},{"key":"5_CR44","doi-asserted-by":"crossref","unstructured":"Rose, S.W., Borchert, O., Mitchell, S., Connelly, S.: Zero trust architecture. Technical report, NIST (2020)","DOI":"10.6028\/NIST.SP.800-207"},{"key":"5_CR45","doi-asserted-by":"crossref","unstructured":"Saha, A.K., Chowdhury, S., Chowdhury, S.P., Crossley, P.A.: Modeling and performance analysis of a microturbine as a distributed energy resource. IEEE Trans. Energy Convers. 24(2), 529\u2013538 (2009)","DOI":"10.1109\/TEC.2009.2016123"},{"key":"5_CR46","doi-asserted-by":"crossref","unstructured":"Boudghene Stambouli, A., Traversa, E.: Solid oxide fuel cells (SOFCs): a review of an environmentally clean and efficient source of energy. Renew. Sustain. Energy Rev. 6(5), 433\u2013455 (2002)","DOI":"10.1016\/S1364-0321(02)00014-X"},{"key":"5_CR47","doi-asserted-by":"crossref","unstructured":"Tuong, F., Wolff, B.: Deeply integrating C11 code support into Isabelle\/PIDE. In: Monahan, R., Prevosto, V., Proen\u00e7a, J. (eds.) F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS, vol. 310, pp. 13\u201328 (2019)","DOI":"10.4204\/EPTCS.310.3"},{"key":"5_CR48","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2019.109547","volume":"122","author":"R Vakulchuk","year":"2020","unstructured":"Vakulchuk, R., Overland, I., Scholten, D.: Renewable energy and geopolitics: a review. Renew. Sustain. Energy Rev. 122, 109547 (2020)","journal-title":"Renew. Sustain. Energy Rev."},{"key":"5_CR49","doi-asserted-by":"crossref","unstructured":"Wendzel, S., Tonejc, J., Kaur, J., Kobekova, A.: Cyber security of smart buildings. In: Security and Privacy in Cyber-Physical Systems: Foundations, Principles and Applications, pp. 327\u2013351 (2017)","DOI":"10.1002\/9781119226079.ch16"},{"key":"5_CR50","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11812289_3","volume-title":"Mathematical Knowledge Management","author":"M Wenzel","year":"2006","unstructured":"Wenzel, M.: Structured induction proofs in Isabelle\/Isar. In: Borwein, J.M., Farmer, W.M. (eds.) MKM 2006. LNCS (LNAI), vol. 4108, pp. 17\u201330. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11812289_3"},{"key":"5_CR51","doi-asserted-by":"crossref","unstructured":"Wenzel, M.: Isabelle\/jEdit as IDE for domain-specific formal languages and informal text documents. In: Masci, P., Monahan, R., Prevosto, V. (eds.) Proceedings 4th Workshop on Formal Integrated Development Environment, Oxford, England, 14 July 2018. EPTCS, vol. 284, pp. 71\u201384 (2018)","DOI":"10.4204\/EPTCS.284.6"},{"key":"5_CR52","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-030-23250-4_1","volume-title":"Intelligent Computer Mathematics","author":"M Wenzel","year":"2019","unstructured":"Wenzel, M.: Interaction with formal mathematical documents in Isabelle\/PIDE. In: Kaliszyk, C., Brady, E., Kohlhase, A., Sacerdoti Coen, C. (eds.) CICM 2019. LNCS (LNAI), vol. 11617, pp. 1\u201315. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-23250-4_1"},{"key":"5_CR53","unstructured":"Wikipedia: Aurora Generator Test. https:\/\/en.wikipedia.org\/wiki\/Aurora_Generator_Test"},{"key":"5_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/3-540-36103-0_5","volume-title":"Formal Methods and Software Engineering","author":"J Woodcock","year":"2002","unstructured":"Woodcock, J., Hughes, A.: Unifying theories of parallel programming. In: George, C., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 24\u201337. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-36103-0_5"},{"key":"5_CR55","doi-asserted-by":"crossref","unstructured":"Yaacoub, J.-P.A., Salman, O., Noura, H.N., Kaaniche, N., Chehab, A., Malli, M.: Cyber-physical systems security: limitations, issues and future trends. Microprocess. Microsyst. 77, 103201 (2020)","DOI":"10.1016\/j.micpro.2020.103201"},{"key":"5_CR56","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijcip.2021.100433","volume":"34","author":"G Yadav","year":"2021","unstructured":"Yadav, G., Paul, K.: Architecture and security of SCADA systems: a review. Int. J. Crit. Infrastruct. Prot. 34, 100433 (2021)","journal-title":"Int. J. Crit. Infrastruct. Prot."},{"issue":"4","key":"5_CR57","doi-asserted-by":"publisher","first-page":"4879","DOI":"10.1109\/JESTPE.2021.3111728","volume":"10","author":"J Ye","year":"2021","unstructured":"Ye, J., et al.: A review of cyber-physical security for photovoltaic systems. IEEE J. Emerging Sel. Top. Power Electron. 10(4), 4879\u20134901 (2021)","journal-title":"IEEE J. Emerging Sel. Top. Power Electron."},{"key":"5_CR58","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/978-3-030-88701-8_28","volume-title":"Relational and Algebraic Methods in Computer Science","author":"K Ye","year":"2021","unstructured":"Ye, K., Foster, S., Woodcock, J.: Automated reasoning for probabilistic sequential programs with theorem proving. In: Fahrenberg, U., Gehrke, M., Santocanale, L., Winter, M. (eds.) RAMiCS 2021. LNCS, vol. 13027, pp. 465\u2013482. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-88701-8_28"},{"key":"5_CR59","unstructured":"Zhan, B.: Compositional verification of interacting systems using event monads. In: Andronick, J., de\u00a0Moura, L. (eds.) 13th International Conference, ITP 2022, 7\u201310 August 2022, Haifa, Israel. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2022)"}],"container-title":["Lecture Notes in Computer Science","Verified Software. Theories, Tools and Experiments"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-66064-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,26]],"date-time":"2024-07-26T10:02:55Z","timestamp":1721988175000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-66064-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031660634","9783031660641"],"references-count":59,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-66064-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"27 July 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VSTTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Verified Software: Theories, Tools, and Experiments","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ames, IA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"vstte2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/homepage.cs.uiowa.edu\/~ajreynol\/VSTTE2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}