Publication Date

2015-06-26

Availability

Embargoed

Embargo Period

2017-06-26

Degree Name

Master of Science (MS)

Department

Electrical and Computer Engineering (Engineering)

Date of Defense

2015-05-20

First Committee Member

Mohamed Abdel-Mottaleb

Second Committee Member

Saman Zonouz

Third Committee Member

Kamal Premaratne

Abstract

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.

Keywords

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

Share

COinS