Doctoral Dissertations

Keywords and Phrases

Information flow security properties; Nondeducibility security


"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.


McMillin, Bruce M.

Committee Member(s)

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


Computer Science

Degree Name

Ph. D. in Computer Science


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


Missouri University of Science and Technology

Publication Date

Fall 2011


x, 123 pages

Note about bibliography

Includes bibliographical references (pages 114-122).


© 2011 Thoshitha Thanushka Gamage, All rights reserved.

Document Type

Dissertation - Open Access

File Type




Subject Headings

Computer security
Data protection -- Security measures
Sensor networks -- Security measures
Wireless sensor networks

Thesis Number

T 9896

Print OCLC #


Electronic OCLC #