Files in this item



application/pdfYOON-DISSERTATION-2017.pdf (18MB)
(no description provided)PDF


Title:Secure and dependable cyber-physical system architectures
Author(s):Yoon, Man Ki
Director of Research:Sha, Lui
Doctoral Committee Chair(s):Sha, Lui
Doctoral Committee Member(s):Gunter, Carl; Abdelzaher, Tarek F.; Mohan, Sibin; Christodorescu, Mihai
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):Cyber-physical systems
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.
Issue Date:2017-04-20
Rights Information:Copyright 2017 Man Ki Yoon
Date Available in IDEALS:2017-08-10
Date Deposited:2017-05

This item appears in the following Collection(s)

Item Statistics