{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/97412"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/97412","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Secure and dependable cyber-physical system architectures","abstract":"The increased computational power and connectivity in modern Cyber-Physical Systems (CPS) inevitably introduce more security vulnerabilities. The concern about CPS security is growing especially because a successful attack on safety-critical CPS (e.g., avionics, automobile, smart grid, etc.) can result in the safety of such systems being compromised, leading to disastrous effects, from loss of human life to damages to the environment as well as critical infrastructure. CPS poses unique security challenges due to its stringent design and implementation requirements. This dissertation explores the structural differences of CPS compared to the general-purpose systems and utilizes the intrinsic characteristics of CPS as an asymmetric advantage to thwart and detect security attacks to safety-critical CPS. The dissertation presents analytic techniques and system design principles to enhance the security and dependability of CPS, with particular focus on (a) modeling and reasoning about the logical and physical behaviors of CPS and (b) architectural and operating-system supports for trusted, efficient run-time monitoring as well as attack-resiliency.","abstract_html":"The increased computational power and connectivity in modern Cyber-Physical Systems (CPS) inevitably introduce more security vulnerabilities. The concern about CPS security is growing especially because a successful attack on safety-critical CPS (e.g., avionics, automobile, smart grid, etc.) can result in the safety of such systems being compromised, leading to disastrous effects, from loss of human life to damages to the environment as well as critical infrastructure. CPS poses unique security challenges due to its stringent design and implementation requirements. This dissertation explores the structural differences of CPS compared to the general-purpose systems and utilizes the intrinsic characteristics of CPS as an asymmetric advantage to thwart and detect security attacks to safety-critical CPS. The dissertation presents analytic techniques and system design principles to enhance the security and dependability of CPS, with particular focus on (a) modeling and reasoning about the logical and physical behaviors of CPS and (b) architectural and operating-system supports for trusted, efficient run-time monitoring as well as attack-resiliency.","abstract_has_math":false,"creators":["Yoon, Man Ki"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Sha, Lui","Gunter, Carl","Abdelzaher, Tarek F.","Mohan, Sibin","Christodorescu, Mihai"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2017,"date_issued":"2017-08-10T19:15:35Z","date_published":"2017-08-10T19:15:35Z","updated_at":"2026-07-22T22:24:34Z","subjects":["Cyber-physical systems","Security"],"languages":["en"],"rights":["Copyright 2017 Man Ki Yoon"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/97412","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Sha, Lui","Gunter, Carl","Abdelzaher, Tarek F.","Mohan, Sibin","Christodorescu, Mihai"]},{"key":"dc:creator","label":"Author","values":["Yoon, Man Ki"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2017-08-10T19:15:35Z","2017-04-20","2017-05"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"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":["Cyber-physical systems","Security"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2017 Man Ki Yoon"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/97412"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["The increased computational power and connectivity in modern Cyber-Physical Systems (CPS) inevitably introduce more security vulnerabilities. The concern about CPS security is growing especially because a successful attack on safety-critical CPS (e.g., avionics, automobile, smart grid, etc.) can result in the safety of such systems being compromised, leading to disastrous effects, from loss of human life to damages to the environment as well as critical infrastructure. CPS poses unique security challenges due to its stringent design and implementation requirements. This dissertation explores the structural differences of CPS compared to the general-purpose systems and utilizes the intrinsic characteristics of CPS as an asymmetric advantage to thwart and detect security attacks to safety-critical CPS. The dissertation presents analytic techniques and system design principles to enhance the security and dependability of CPS, with particular focus on (a) modeling and reasoning about the logical and physical behaviors of CPS and (b) architectural and operating-system supports for trusted, efficient run-time monitoring as well as attack-resiliency.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2017-08-10 without embargo terms","The student, Man Ki Yoon, accepted the attached license on 2017-04-19 at 15:08.","The student, Man Ki Yoon, submitted this Dissertation for approval on 2017-04-19 at 15:13.","This Dissertation was approved for publication on 2017-04-20 at 16:12.","DSpace SAF Submission Ingestion Package generated from Vireo submission #10906 on 2017-08-10 at 13:43:19","Made available in DSpace on 2017-08-10T19:15:35Z (GMT). No. of bitstreams: 2 YOON-DISSERTATION-2017.pdf: 17650334 bytes, checksum: d2a0039752bc75db741533aebe324fb1 (MD5) LICENSE.txt: 4208 bytes, checksum: 15e47f444fd5ae17e5c3d7760d411848 (MD5) Previous issue date: 2017-04-20"]},{"key":"dc:format","label":"Dc Format","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Secure and dependable cyber-physical system architectures"]}]}],"canonical_facts":{"dc:contributor":["Sha, Lui","Gunter, Carl","Abdelzaher, Tarek F.","Mohan, Sibin","Christodorescu, Mihai"],"dc:creator":["Yoon, Man Ki"],"dc:date":["2017-08-10T19:15:35Z","2017-04-20","2017-05"],"dc:description":["The increased computational power and connectivity in modern Cyber-Physical Systems (CPS) inevitably introduce more security vulnerabilities. The concern about CPS security is growing especially because a successful attack on safety-critical CPS (e.g., avionics, automobile, smart grid, etc.) can result in the safety of such systems being compromised, leading to disastrous effects, from loss of human life to damages to the environment as well as critical infrastructure. CPS poses unique security challenges due to its stringent design and implementation requirements. This dissertation explores the structural differences of CPS compared to the general-purpose systems and utilizes the intrinsic characteristics of CPS as an asymmetric advantage to thwart and detect security attacks to safety-critical CPS. The dissertation presents analytic techniques and system design principles to enhance the security and dependability of CPS, with particular focus on (a) modeling and reasoning about the logical and physical behaviors of CPS and (b) architectural and operating-system supports for trusted, efficient run-time monitoring as well as attack-resiliency.","Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2017-08-10 without embargo terms","The student, Man Ki Yoon, accepted the attached license on 2017-04-19 at 15:08.","The student, Man Ki Yoon, submitted this Dissertation for approval on 2017-04-19 at 15:13.","This Dissertation was approved for publication on 2017-04-20 at 16:12.","DSpace SAF Submission Ingestion Package generated from Vireo submission #10906 on 2017-08-10 at 13:43:19","Made available in DSpace on 2017-08-10T19:15:35Z (GMT). No. of bitstreams: 2 YOON-DISSERTATION-2017.pdf: 17650334 bytes, checksum: d2a0039752bc75db741533aebe324fb1 (MD5) LICENSE.txt: 4208 bytes, checksum: 15e47f444fd5ae17e5c3d7760d411848 (MD5) Previous issue date: 2017-04-20"],"dc:format":["application/pdf"],"dc:identifier":["http://hdl.handle.net/2142/97412"],"dc:language":["en"],"dc:rights":["Copyright 2017 Man Ki Yoon"],"dc:subject":["Cyber-physical systems","Security"],"dc:title":["Secure and dependable cyber-physical system architectures"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:24:34Z"}