Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Cyber-physical attacks
biblio
Formal Impact Metrics for Cyber-physical Attacks
Submitted by grigby1 on Fri, 04/01/2022 - 1:48pm
Intrusion Detection
pubcrawl
Computational modeling
computer security
cyber-physical systems
Metrics
Measurement
Probabilistic logic
Security Metrics
Cyberspace
Cyber-physical attacks
impact metrics
timed and hybrid models
biblio
Runtime Enforcement for Control System Security
Submitted by aekwall on Mon, 01/25/2021 - 11:52am
observable actions
alphabet P
classical properties
corrupted controllers
cyber components
enforceable regular expression e
external events
heterogeneous physical components
incorrect actions
industrial facilities
Ligatti et al.
monitored controllers
nonobvious properties
ad-hoc sub-class
physical processes
PLC malware
potentially compromised controllers
Process calculus
programmable logic controllers
Regan's Timed Process Language
runtime enforcement
runtime enforcement techniques
specification compliance
synthesis algorithm
timed property
program verification
Monitoring
Runtime
security
critical infrastructures
Industrial Control Systems
Resiliency
Human behavior
pubcrawl
composability
Metrics
process control
security breaches
security of data
sensors
automata
industrial control
Cyber-physical attacks
actuators
control system security
actuator security
explosion
Smart Systems
controller
formal languages
biblio
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems
Submitted by grigby1 on Fri, 10/30/2020 - 11:18am
input-output programs
smart I/O modules
security of data
security
Scalability
Safety
runtime enforcement
Runtime
real-world physical systems
pubcrawl
programmable logic controller I/O modules
programmable controllers
production engineering computing
Power Grid
Monitoring
malicious attacks
control engineering computing
Industries
Industrial Control Systems
industrial control
i-o systems security
I-O Systems
hardware architecture
Hardware
embedded systems
embedded control
cyber-physical systems (CPSs)
cyber-physical systems
cyber-physical attacks mitigation
Cyber-physical attacks
CPS
control systems
biblio
Cyber-Physical Interdependencies in Power Plant Systems: A Review of Cyber Security Risks
Submitted by grigby1 on Tue, 10/06/2020 - 12:50pm
research target
network topology
network-based models
power engineering computing
power generation
power plant systems
power plants
pubcrawl
Reliability
modern computing
Safety
Security Metrics
security of data
smart cities
Smart City
Smart Grid
system components
Topology
Cyber-physical attacks
Analytical models
communication direction
computational complexity
Computational modeling
Computing Theory
control parameters
critical infrastructure
cyber security risks
advanced communication technologies
cyber-physical interdependencies
cyber-physical systems
digital transformation process
graph theory
graph-based models
interdependent connections
Metrics
biblio
Graph-Based Event Classification in Grid Security Gateways
Submitted by grigby1 on Fri, 07/24/2020 - 12:01pm
renewable distributed energy resource aggregators
Grid Security
grid security gateways
Grid Trust
network anomaly detection
network security
packet header behavioral analysis
power distribution control
power distribution control devices
encrypted communications
renewable energy sources
SG system
Substations
TCP-IP packet
TCPIP
time-series data
Trusted Communications
Control Theory
transport protocols
security
Protocols
power engineering computing
power system security
telecommunication security
probability
pubcrawl
encryption
Cryptography
Anomaly Detection
graph theory
power grids
Cyber-physical attacks
DERA
distributed power generation
electrical grid distribution network
biblio
A Game-theoretic Framework for Security-aware Sensor Placement Problem in Networked Control Systems
Submitted by aekwall on Mon, 06/08/2020 - 10:22am
game theoretic security
zero-sum game
undirected tree
undirected topology
system L2 gain
Stackelberg equilibrium
security-aware sensor placement problem
optimal sensor placement strategy
Networked Control System
game-theoretic framework
game leader
detector decision
attacker-detector game
attacker decision
attack signals
Symmetric matrices
security of data
Nash Equilibrium
Cyber-physical attacks
networked control systems
Predictive Metrics
Human Factors
Games
optimisation
trees (mathematics)
sensor placement
pubcrawl
game theory
security
Scalability
Monitoring
Detectors
biblio
A New Evaluation Model for Information Security Risk Management of SCADA Systems
Submitted by aekwall on Mon, 03/16/2020 - 9:28am
Cyber-physical attacks
Vague Set Theory
vague environment
uncertain environment
structured method
semiquantitative high level analysis
secure SCADA failure modes
RPN
physical layers
Pattern recognition
new evaluation model
FMEA inherent problems
design review
cyber layers
critical information infrastructure
Information Security Risk Management
Safety
Compositionality
SCADA Systems Security
SCADA system
Information systems
process control
failure analysis
risk management
pubcrawl
Human behavior
Resiliency
SCADA systems
SCADA
security
Monitoring
security of data
biblio
A Strategic Analysis of Attacker-Defender Repeated Game in Smart Grid Security
Submitted by aekwall on Mon, 02/17/2020 - 1:16pm
Repeated game
optimal strategic behavior
power engineering computing
power grid security schemes
power system
power system security
power transmission lines
Predictive Metrics
privacy
pubcrawl
Monitoring tools
Resiliency
Scalability
security
security of data
smart grid security
Smart Grids
smart power grid
smart power grids
strategic analysis
game theoretic approach
attack-defense budget
attacker-defender game
attacker-defender interaction
attacker-defender repeated game
attacker-defender strategic interaction
cyber control
Cyber-physical attacks
cyber-physical systems
game payoffs calculation
and budget limitation
game theory
Games
generation power
game theoretic security
Human Factors
IEEE 39 bus benchmark system
Mathematical model
Metrics
Monitoring
biblio
Demonstrating Cyber-Physical Attacks and Defense for Synchrophasor Technology in Smart Grid
Submitted by aekwall on Mon, 12/02/2019 - 11:04am
potential physical impacts
aforementioned cyber-attacks
attack capabilities
command injection attack
Cyber-physical attacks
decentralized decision making capability
defense mechanisms
IEEE standards
packet drop attack
phasor measurement
command injection attacks
stealthy cyber-attacks
stealthy data manipulation attack
stealthy man-in-the-middle attacks
synchrophasor communication standard
synchrophasor devices
synchrophasor network security
synchrophasor technology
synchrophasor-based synchronous islanding testbed
synchrophasor-based systems
Global Positioning System
computer network security
intrusion detection system
IP networks
security
Software
real-time systems
Resiliency
pubcrawl
composability
security of data
malicious activities
Metrics
standards
Decision Making
Phasor measurement units
smart power grids
Smart Grid
power engineering computing
biblio
Reducing Vulnerability to Cyber-Physical Attacks in Water Distribution Networks
Submitted by grigby1 on Mon, 01/21/2019 - 11:30am
sensor measurements
power system security
programmable controllers
pubcrawl
Redundancy
redundant cyber components
Resiliency
security
security of data
power engineering computing
sensors
simple control laws
Vulnerability
water distribution
water distribution networks
water resources
water supply
digital devices
actuators
composability
control requirements
cyber attack
cyber physical systems
Cyber-physical attacks
cyber-physical security level
cyber-physical systems
actuator security
Human behavior
industrial control
Industrial Control Systems
malicious attacks
Metrics
Monitoring
physical processes
1
2
next ›
last »
