Doctoral Dissertations

Keywords and Phrases

Distributed systems; Information flow security; Nondeducibility; Smart grid

Abstract

"A cyber process in a distributed system can fabricate its internal state in its communications with its peers. These state fabrications can cause other processes in the distributed system to make incorrect control decisions. Cyber-physical systems have a unique advantage in the detection of falsified states because processes typically have observable effects on a shared physical infrastructure. This physical infrastructure acts as a high-integrity message channel that broadcasts changes in individual process states. The objective of this research is to demonstrate that there are cases where physical feedback from the shared infrastructure can be used to detect state fabrications. To that end, this work introduces a distributed security mechanism called physical attestation that detects state fabrications in the future smart grid. Graph theory is used to prove that physical attestation works in general smart grid topologies, and the theory is supported with experimental results obtained from a smart grid test bed"--Abstract, page iii.

Advisor(s)

McMillin, Bruce M.

Committee Member(s)

Tauritz, Daniel R.
Kimball, Jonathan W.
Silvestri, Simone
Jiang, Wei

Department(s)

Computer Science

Degree Name

Ph. D. in Computer Science

Sponsor(s)

Missouri University of Science and Technology. Intelligent Systems Center
Missouri University of Science and Technology. Office of Graduate Studies
National Science Foundation (U.S.)

Comments

Supported in part by the Future Renewable Electric Energy Delivery and Management Systems Center under the grant NSF EEC-0812121.

Research Center/Lab(s)

Intelligent Systems Center

Publisher

Missouri University of Science and Technology

Publication Date

Fall 2015

Pagination

ix, 85 pages

Note about bibliography

Includes bibliographic references (pages 80-84).

Rights

© 2015 Thomas Patrick Roth, All rights reserved.

Document Type

Dissertation - Open Access

File Type

text

Language

English

Subject Headings

Smart power grids -- Mathematical models
Computer networks -- Security measures -- Mathematical models
Wireless sensor networks -- Security measures -- Mathematical models
Sensor networks -- Security measures -- Mathematical models
Data protection -- Security measures -- Mathematical models

Thesis Number

T 10835

Electronic OCLC #

936209223

Download

Share

 
COinS