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
supervisory control and data acquisition network
biblio
A Formal Model for Resiliency-Aware Deployment of SDN: A SCADA-Based Case Study
Submitted by aekwall on Mon, 07/20/2020 - 10:32am
SDNSynth framework
resiliency-aware deployment
resilient operation
satisfiability modulo theories
SCADA
SCADA network
SCADA systems
SCADA-based case study
SDN architecture
SDNSynth
resiliency requirements
Smart Grid
Smart Grids
smart power grids
software defined networking
supervisory control and data acquisition network
Switches
synthesis model
synthetic SCADA systems
systematic deployment methodology
legacy forwarding devices
budget constraints
computability
Control Theory and Resiliency
deployment plan
encoding
formal model
formal modeling
hybrid network
incremental deployment
pubcrawl
network synthesis
network topology
novel grid control operations
power engineering computing
programmable SDN-enabled switches
real-time data
resilience
Resiliency
biblio
A symmetric address translation approach for a network layer moving target defense to secure power grid networks
Submitted by grigby1 on Tue, 01/16/2018 - 6:31pm
power system security
wide area networks
symmetric packet scheduling rules
symmetric address translation
supervisory control and data acquisition network
supervisory control and data acquisition
Substations
security
scheduling
SCADA systems
SCADA network
SCADA
Resiliency
pubcrawl
computer network security
power grids
power grid network security
Network Address Translation
MTD
moving target defense
Metrics
Logic gates
Local area networks
IP-Hopping
IP networks
Cyber Physical System
critical infrastructure
