2026-09-22T02:07:02Z https://www.ideals.illinois.edu/oai-pmh

oai:www.ideals.illinois.edu:2142/97412 2023-07-11 col_2142_5131 col_2142_10761 com_2142_5130 com_2142_10755 com_2142_234

Sha, Lui Sha, Lui Gunter, Carl Abdelzaher, Tarek F. Mohan, Sibin Christodorescu, Mihai Yoon, Man Ki 2017-08-10T19:15:35Z 2017-08-10T19:15:35Z 2017-04-20 2017-05 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 application/pdf http://hdl.handle.net/2142/97412 en Copyright 2017 Man Ki Yoon Cyber-physical systems Security Secure and dependable cyber-physical system architectures text text Computer Science Computer Science University of Illinois at Urbana-Champaign Dissertation Ph.D.