Staff View
Physics for the sake of security, security for the sake of physics

Descriptive

TitleInfo
Title
Physics for the sake of security, security for the sake of physics
Name (type = personal)
NamePart (type = family)
Garcia
NamePart (type = given)
Luis
DisplayForm
Luis Garcia
Role
RoleTerm (authority = RULIB)
author
Name (type = personal)
NamePart (type = family)
Zonouz
NamePart (type = given)
Saman
DisplayForm
Saman Zonouz
Affiliation
Advisory Committee
Role
RoleTerm (authority = RULIB)
chair
Name (type = corporate)
NamePart
Rutgers University
Role
RoleTerm (authority = RULIB)
degree grantor
Name (type = corporate)
NamePart
School of Graduate Studies
Role
RoleTerm (authority = RULIB)
school
TypeOfResource
Text
Genre (authority = marcgt)
theses
OriginInfo
DateCreated (qualifier = exact)
2018
DateOther (qualifier = exact); (type = degree)
2018-10
CopyrightDate (encoding = w3cdtf)
2018
Place
PlaceTerm (type = code)
xx
Language
LanguageTerm (authority = ISO639-2b); (type = code)
eng
Abstract (type = abstract)
In 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.
Subject (authority = local)
Topic
Cyber-physical Systems
Subject (authority = RUETD)
Topic
Electrical and Computer Engineering
Subject (authority = ETD-LCSH)
Topic
Computer security
RelatedItem (type = host)
TitleInfo
Title
Rutgers University Electronic Theses and Dissertations
Identifier (type = RULIB)
ETD
Identifier
ETD_9070
PhysicalDescription
Form (authority = gmd)
electronic resource
InternetMediaType
application/pdf
InternetMediaType
text/xml
Extent
1 online resource (193 pages) : illustrations
Note (type = degree)
Ph.D.
Note (type = bibliography)
Includes bibliographical references
Note (type = statement of responsibility)
by Luis Garcia
RelatedItem (type = host)
TitleInfo
Title
School of Graduate Studies Electronic Theses and Dissertations
Identifier (type = local)
rucore10001600001
Location
PhysicalLocation (authority = marcorg); (displayLabel = Rutgers, The State University of New Jersey)
NjNbRU
Identifier (type = doi)
doi:10.7282/t3-fb64-nk18
Genre (authority = ExL-Esploro)
ETD doctoral
Back to the top

Rights

RightsDeclaration (ID = rulibRdec0006)
The author owns the copyright to this work.
RightsHolder (type = personal)
Name
FamilyName
Garcia
GivenName
Luis
Role
Copyright Holder
RightsEvent
Type
Permission or license
DateTime (encoding = w3cdtf); (qualifier = exact); (point = start)
2018-06-12 12:00:56
AssociatedEntity
Name
Luis Garcia
Role
Copyright holder
Affiliation
Rutgers University. School of Graduate Studies
AssociatedObject
Type
License
Name
Author Agreement License
Detail
I hereby grant to the Rutgers University Libraries and to my school the non-exclusive right to archive, reproduce and distribute my thesis or dissertation, in whole or in part, and/or my abstract, in whole or in part, in and from an electronic format, subject to the release date subsequently stipulated in this submittal form and approved by my school. I represent and stipulate that the thesis or dissertation and its abstract are my original work, that they do not infringe or violate any rights of others, and that I make these grants as the sole owner of the rights to my thesis or dissertation and its abstract. I represent that I have obtained written permissions, when necessary, from the owner(s) of each third party copyrighted matter to be included in my thesis or dissertation and will supply copies of such upon request by my school. I acknowledge that RU ETD and my school will not distribute my thesis or dissertation or its abstract if, in their reasonable judgment, they believe all such rights have not been secured. I acknowledge that I retain ownership rights to the copyright of my work. I also retain the right to use all or part of this thesis or dissertation in future works, such as articles or books.
RightsEvent
Type
Embargo
DateTime (encoding = w3cdtf); (qualifier = exact); (point = start)
2018-10-31
DateTime (encoding = w3cdtf); (qualifier = exact); (point = end)
2020-10-30
Detail
Access to this PDF has been restricted at the author's request. It will be publicly available after October 30th, 2020.
Copyright
Status
Copyright protected
Availability
Status
Open
Reason
Permission or license
Back to the top

Technical

RULTechMD (ID = TECHNICAL1)
ContentModel
ETD
OperatingSystem (VERSION = 5.1)
windows xp
CreatingApplication
Version
1.5
ApplicationName
pdfTeX-1.40.16
DateCreated (point = end); (encoding = w3cdtf); (qualifier = exact)
2018-06-05T15:43:41
DateCreated (point = end); (encoding = w3cdtf); (qualifier = exact)
2018-06-05T15:43:41
Back to the top
Version 8.3.13
Rutgers University Libraries - Copyright ©2021