Skip to Main Content
Frequently Asked Questions
Submit an ETD
Global Search Box
Need Help?
Keyword Search
Participating Institutions
Advanced Search
School Logo
Files
File List
XiaotianWang_thesis_Summer2015_Final.pdf (3.22 MB)
ETD Abstract Container
Abstract Header
Mission-aware Vulnerability Assessment for Cyber-Physical System
Author Info
Wang, Xiaotian
ORCID® Identifier
http://orcid.org/0000-0001-7583-6214
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=wright1440809206
Abstract Details
Year and Degree
2015, Master of Science in Computer Engineering (MSCE), Wright State University, Computer Engineering.
Abstract
Designing secure cyber-physical systems (CPS) is fundamentally important. An indispensable step towards this end is to perform vulnerability assessment. This thesis discusses the design and implementation of a mission-aware CPS vulnerability assessment framework. The framework intends to accomplish three objectives including i) mapping CPS mission into infrastructural components, ii) evaluating global impact of each vulnerability, and iii) achieving verifiable results and high flexibility. In order to accomplish these objectives, a model-based analysis strategy is employed. Specifically, a CPS simulator is used to model dynamic behaviors of CPS components under different missions; the framework facilitates a bottom-up approach to traverse a holistic model of a CPS that aims at profiling relationships among all CPS components. In order to analyze the derived models, we have leveraged formal methods, including program symbolic execution, logic programming, and linear optimization. The framework first successfully identifies mission-critical components, then discovers all attack paths from system access points to mission-critical components, and finally recommends the optimized mitigation plan.
Committee
Junjie Zhang, Ph.D. (Advisor)
Adam Robert Bryant, Ph.D. (Committee Member)
Michelle Andreen Cheatham, Ph.D. (Committee Member)
Pages
55 p.
Subject Headings
Computer Engineering
;
Computer Science
Keywords
mission-aware, vulnerability assessment, cyber-physical system, mission-critical component, formal-method, symbolic execution, logic programming
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Wang, X. (2015).
Mission-aware Vulnerability Assessment for Cyber-Physical System
[Master's thesis, Wright State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=wright1440809206
APA Style (7th edition)
Wang, Xiaotian.
Mission-aware Vulnerability Assessment for Cyber-Physical System.
2015. Wright State University, Master's thesis.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=wright1440809206.
MLA Style (8th edition)
Wang, Xiaotian. "Mission-aware Vulnerability Assessment for Cyber-Physical System." Master's thesis, Wright State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=wright1440809206
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
wright1440809206
Download Count:
670
Copyright Info
© 2015, all rights reserved.
This open access ETD is published by Wright State University and OhioLINK.