Home
Resource
Physics for the sake of security, security for the sake of physics
PDF
PDF format is widely accepted and good for printing.
Plug-in required
PDF-1(41.44 MB)
Citation & Export
View Usage Statistics
Staff View

Citation & Export
Hide

Simple citation

Garcia, Luis. Physics for the sake of security, security for the sake of physics. Retrieved from https://doi.org/doi:10.7282/t3-fb64-nk18

Export

Click here for information about Citation Management Tools at Rutgers.

Statistics
Hide

Description

TitlePhysics for the sake of security, security for the sake of physics
NameGarcia, Luis (author); Zonouz, Saman (chair); Rutgers University; School of Graduate Studies
Date Created2018
Other Date2018-10 (degree)
SubjectCyber-physical Systems, Electrical and Computer Engineering, Computer security
Extent1 online resource (193 pages) : illustrations
DescriptionIn the current cyberwarfare climate, industrial control systems (ICS) are increas-
ingly becoming focal points of security research as they interconnect, monitor, and
control safety-critical processes. ICS comprise a class of cyber-physical systems (CPS)
across a wide range of domains, including but not limited to the electric power grid,
factory automation, biomedical applications, as well as nuclear reactors. As the inter-
connectivity and accessibility of ICS system components expands, the attack surface for
such systems expands as well. Because these ICS control safety-critical physical pro-
cesses, there is a need for security solutions that have the physical dynamics integrated
into the design process in order to ensure safe operation.
This thesis investigates the security and verification of ICS at different levels of
abstraction. The goal is to bridge the gap between practical security analyses and
sound theoretical approaches to verifying cyber-physical systems. In particular, we
propose to not only leverage the physical properties of an ICS for security purposes,
but to also provide fine-grained hybrid systems modelling of embedded cyber-physical
systems such as a programmable logic controllers (PLCs).

First, this thesis introduces novel and practical security and verification solutions for
ICS that leverage the cyber-physical interdependences between the cyber components
and the underlying physical system. This thesis then explores the feasibility of utilizing
formal methods in the context of complex ICS control processes. Finally, this thesis
introduces a balanced approach to cyber-physical intrusion detection that enforces con-
trol behavioral integrity of a distributed ICS by integrating physical state-estimation
into control-flow monitoring of the associated software.
NotePh.D.
NoteIncludes bibliographical references
Noteby Luis Garcia
Genretheses, ETD doctoral
Persistent URLhttps://doi.org/doi:10.7282/t3-fb64-nk18
Languageeng
CollectionSchool of Graduate Studies Electronic Theses and Dissertations
Organization NameRutgers, The State University of New Jersey
RightsThe author owns the copyright to this work.
Version 8.5.5
Rutgers University Libraries - Copyright ©2024