{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/115781"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/115781","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Automatic verification of cybersecurity best practices for operational technology networks","abstract":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","abstract_html":"Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","abstract_has_math":false,"creators":["Belovich, Emily"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"M.S.","degree_level":"Thesis","degree_discipline":"Electrical & Computer Engr","degree_department":null,"school":null,"contributors":["Nicol, David M"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-05","date_published":"2022-05","updated_at":"2026-07-22T22:24:55Z","subjects":["verification","cybersecurity","operational technology (OT)","industrial control system (ICS)"],"languages":["en","eng"],"rights":["Copyright 2022 Emily Belovich"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"https://hdl.handle.net/2142/115781","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Nicol, David M"]},{"key":"dc:creator","label":"Author","values":["Belovich, Emily"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2022-05","2022-04-26"]},{"key":"dc:type","label":"Dc Type","values":["text","Thesis"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical & Computer Engr"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Thesis"]},{"key":"thesis:degree_name","label":"Degree Name","values":["M.S."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["verification","cybersecurity","operational technology (OT)","industrial control system (ICS)"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en","eng"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2022 Emily Belovich"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["https://hdl.handle.net/2142/115781"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","The student, Emily Belovich, accepted the attached license on 2022-04-25 at 14:36.","The student, Emily Belovich, submitted this Thesis for approval on 2022-04-25 at 14:47.","This Thesis was approved for publication on 2022-04-26 at 12:23.","DSpace SAF Submission Ingestion Package generated from Vireo submission #17953 on 2022-11-11 at 17:38:07","Operational technology (OT) refers to the hardware and software systems used to monitor and control physical processes. OT systems are used extensively in industries such as electric, water and wastewater, oil and natural gas, transportation, and manufacturing. Reliable OT systems are necessary to maintain access to critical infrastructures. As such, it is essential they are protected from cyberattacks. In the past, there was clear separation between an organization's OT systems and information technology (IT) systems. Today, however, OT networks are increasingly connected to IT networks. This introduces new cybersecurity concerns. In this thesis, we outline cybersecurity best practices for OT networks. These best practices are recommended by respected organizations, including the U.S. Department of Homeland Security (DHS), the International Society of Automation (ISA), and the National Institute of Standards and Technology (NIST). Then, we discuss the development of a tool that can be used to analyze a given OT network and automatically verify (or disprove) the correct implementation of cybersecurity best practices. Finally, we present a case study where we use data from an example system to illustrate the implementation of our verification tool."]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Automatic verification of cybersecurity best practices for operational technology networks"]}]}],"canonical_facts":{"dc:contributor":["Nicol, David M"],"dc:creator":["Belovich, Emily"],"dc:date":["2022-05","2022-04-26"],"dc:description":["Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2022-11-11 without embargo terms","The student, Emily Belovich, accepted the attached license on 2022-04-25 at 14:36.","The student, Emily Belovich, submitted this Thesis for approval on 2022-04-25 at 14:47.","This Thesis was approved for publication on 2022-04-26 at 12:23.","DSpace SAF Submission Ingestion Package generated from Vireo submission #17953 on 2022-11-11 at 17:38:07","Operational technology (OT) refers to the hardware and software systems used to monitor and control physical processes. OT systems are used extensively in industries such as electric, water and wastewater, oil and natural gas, transportation, and manufacturing. Reliable OT systems are necessary to maintain access to critical infrastructures. As such, it is essential they are protected from cyberattacks. In the past, there was clear separation between an organization's OT systems and information technology (IT) systems. Today, however, OT networks are increasingly connected to IT networks. This introduces new cybersecurity concerns. In this thesis, we outline cybersecurity best practices for OT networks. These best practices are recommended by respected organizations, including the U.S. Department of Homeland Security (DHS), the International Society of Automation (ISA), and the National Institute of Standards and Technology (NIST). Then, we discuss the development of a tool that can be used to analyze a given OT network and automatically verify (or disprove) the correct implementation of cybersecurity best practices. Finally, we present a case study where we use data from an example system to illustrate the implementation of our verification tool."],"dc:format":["application/pdf"],"dc:identifier":["https://hdl.handle.net/2142/115781"],"dc:language":["en","eng"],"dc:rights":["Copyright 2022 Emily Belovich"],"dc:subject":["verification","cybersecurity","operational technology (OT)","industrial control system (ICS)"],"dc:title":["Automatic verification of cybersecurity best practices for operational technology networks"],"dc:type":["text","Thesis"],"thesis:degree_discipline":["Electrical & Computer Engr"],"thesis:degree_level":["Thesis"],"thesis:degree_name":["M.S."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:55Z"}