Publication Date




Embargo Period


Degree Name

Master of Science (MS)


Electrical and Computer Engineering (Engineering)

Date of Defense


First Committee Member

Mohamed Abdel-Mottaleb

Second Committee Member

Saman Zonouz

Third Committee Member

Kamal Premaratne


The current development in cyber-physical systems technology, from a static to a more dynamically distributed environment, has contributed towards the need for the development of the future cyber-physical security support systems. These power systems have evolved from a unidirectional to a bidirectional infrastructure with millions of nodes from the source to the destined power user. The existing security tools cannot provide the required level of trusted platform for these system. The monitoring of this dynamic network involves ensuring that the network is in a stable state under all circumstances. The circumstances could include natural disasters, attacks from terrorist activities, undetected malfunctions and poor configurations. The existing security schemes in power control systems only consider securing the the power grid at single point of the infrastructure level especially using firewalls. In this thesis, we present a series of threat models that could be used against the evolving cyber-physical system and we model tools that prevent these attacks. We utilize the SMT verification solver engine to perform the formal analysis of the system components.


smart grid; cyber-physical system; verification; formal analysis