Secure and dependable cyber-physical system architectures

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2017

Author dc:creator

• Yoon, Man Ki

Contributors dc:contributor

• Sha, Lui
• Gunter, Carl
• Abdelzaher, Tarek F.
• Mohan, Sibin
• Christodorescu, Mihai

• Cyber-physical systems
• Security

Statement dc:rights

• Copyright 2017 Man Ki Yoon

Language dc:language

en

Handle dc:identifier

http://hdl.handle.net/2142/97412

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/97412