Masters Theses

Keywords and Phrases

BIT Logic; MSDND; SCADA; Security; SWaT; Water Treatment Testbed


"This thesis focuses on securing critical infrastructures such as chemical plants, manufacturing units, and power generating plants against attacks that disrupt the information flow from one component to another. Such systems are controlled by an Industrial Control System (ICS) that includes controllers communicating with each other, and with physical sensors and actuators, using a communications network.

Traditional security models partition the security universe into two worlds, secure and insecure, but in the real world the partitions often overlap and information is leaked even through the physical observation which makes it much harder to analyze a Cyber physical system (CPS). To overcome these, this thesis focus on the Multiple Security Domain Nondeducibility (MSDND) model to identify the vulnerable points of attack on the system that hide critical information as in the STUXNET virus rather than theft of information. It is shown how MSDND analysis, conducted on a realistic multi-stage water treatment testbed, is useful in enhancing the security of a water treatment plant. Based on the MSDND analysis, this thesis offers a thorough documentation on the vulnerable points of attack, invariants used for removing the vulnerabilities, and suggested design decisions that help in developing invariants"--Abstract, page iii.


McMillin, Bruce M.

Committee Member(s)

Madria, Sanjay Kumar
Leopold, Jennifer


Computer Science

Degree Name

M.S. in Computer Science


U.S. National Institute of Standards and Technology
Missouri University of Science and Technology. Intelligent Systems Center
National Science Foundation (U.S.)


National Institute of Standards and Technology, grant number 60NANB15D236; National Science Foundation, award number CNS-1505610

Research Center/Lab(s)

Intelligent Systems Center


Missouri University of Science and Technology

Publication Date

Spring 2018


x, 47 pages

Note about bibliography

Includes bibliographical references (pages 44-46).


© 2018 Sai Sidharth Patlolla, All rights reserved.

Document Type

Thesis - Open Access

File Type




Thesis Number

T 11310

Electronic OCLC #