CEEME: compensating events based execution monitoring enforcement for Cyber-Physical Systems

Author

Thoshitha T. Gamage

Keywords and Phrases

Information flow security properties; Nondeducibility security

Abstract

"Fundamentally, inherently observable events in Cyber-Physical Systems with tight coupling between cyber and physical components can result in a confidentiality violation. By observing how the physical elements react to cyber commands, adversaries can identify critical links in the system and force the cyber control algorithm to make erroneous decisions. Thus, there is a propensity for a breach in confidentiality leading to further attacks on availability or integrity. Due to the highly integrated nature of Cyber-Physical Systems, it is also extremely difficult to map the system semantics into a security framework under existing security models. The far-reaching objective of this research is to develop a science of selfobfuscating systems based on the composition of simple building blocks. A model of Nondeducibility composes the building blocks under Information Flow Security Properties. To this end, this work presents fundamental theories on external observability for basic regular networks and the novel concept of "event compensation" that can enforce Information Flow Security Properties at runtime"--Abstract, page iii.

Advisor(s)

McMillin, Bruce M.

Committee Member(s)

Chellappan, Sriram
Jiang, Wei
Hurson, A. R.
Crow, Mariesa

Department(s)

Computer Science

Degree Name

Ph. D. in Computer Science

Sponsor(s)

Free Renewable Electric Energy Delivery and Management (FREEDM)
Missouri University of Science and Technology. Intelligent Systems Center
National Science Foundation (U.S.)

Research Center/Lab(s)

Intelligent Systems Center

Publisher

Missouri University of Science and Technology

Publication Date

Fall 2011

Pagination

x, 123 pages

Note about bibliography

Includes bibliographical references (pages 114-122).

Rights

© 2011 Thoshitha Thanushka Gamage, All rights reserved.

Document Type

Dissertation - Open Access

File Type

text

Language

English

Subject Headings

Computer securityData protection -- Security measuresSensor networks -- Security measuresWireless sensor networks

Thesis Number

T 9896

Print OCLC #

794734627

Electronic OCLC #

763193927

Recommended Citation

Gamage, Thoshitha T., "CEEME: compensating events based execution monitoring enforcement for Cyber-Physical Systems" (2011). Doctoral Dissertations. 2013.
https://scholarsmine.mst.edu/doctoral_dissertations/2013