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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
attack graph
biblio
A2G2V: Automatic Attack Graph Generation and Visualization and Its Applications to Computer and SCADA Networks
Submitted by aekwall on Mon, 01/25/2021 - 12:03pm
security
computer network security
Internet of Things
Internet of Things (IoT)
computer architecture
SCADA systems
cyber-physical systems
Resiliency
pubcrawl
composability
graph theory
Computational modeling
tools
computer networks
model checking
data visualisation
visualization
Predictive Metrics
formal verification
Internet of Things systems
SCADA networks
networked system
cyber-physical systems security
attack graphs
A2G2V algorithm
architecture description tool
atomic-level vulnerabilities
attack graph
automatic attack graph generation
control networks
Cyber-Physical Systems (CPS)
enumerating counterexamples
model-checking tools
model-checking-based automated attack graph generator and visualizer
visualization tool
biblio
Attack Graph Generation and Visualization for Industrial Control Network
Submitted by aekwall on Mon, 01/25/2021 - 12:02pm
attack graph
attack graph algorithm
attack graph generation
attack graphs
complete attack graph analysis
composability
computer network security
Correlation
data visualisation
Downlink
Firewalls (computing)
graph theory
industrial control
Industrial control network
integrated circuits
large-scale visualization
network model
network topology
Predictive Metrics
pubcrawl
Resiliency
three-dimensional interactive attack graph visualization tool
Uplink
visualization technology
vulnerability classification and correlation
vulnerability correlation method
biblio
Extending Attack Graphs to Represent Cyber-Attacks in Communication Protocols and Modern IT Networks
Submitted by aekwall on Mon, 01/25/2021 - 12:02pm
security
Protocols
Software
computer architecture
Resiliency
pubcrawl
composability
Databases
tools
risk management
network attacks
Predictive Metrics
attack graph
attack graphs
MulVal
network protocols
biblio
Network Security Risk Assessment Using Intelligent Agents
Submitted by aekwall on Mon, 11/23/2020 - 10:22am
computer network security
Scalability
security
Task Analysis
Resiliency
pubcrawl
graph theory
multi-agent systems
tools
Decision Making
robots
Communication networks
security breaches
risk analysis
computer networks
Compositionality
multiagent system
data communication
attack graph
Data Security
attack graphs
automated intelligent systems
decision-making approach
FCMs
Fuzzy cognitive maps
governmental rules
interconnected network analysis
large networks analysis
network connectivity
network graphical representation
network security engineers
network security risk assessment
organisational rules
Risk Prevention
security risk analysis
Intelligent Data Security
Intelligent Data and Security
biblio
Assessing Level of Resilience Using Attack Graphs
Submitted by aekwall on Mon, 11/16/2020 - 1:51pm
security of data
security
pubcrawl
graph theory
tools
Analytical models
cyber-attacks
Communication networks
resilience
program verification
Stability analysis
Local area networks
stability
attack graphs
faults
attack graph
AADL
architecture analysis-&-design language
cyber-physical-systems
generated attack scenarios
generated attack sequences
generated network models
JKind model checker integrated tool
possible attack instances
program visualisation
resilience level assessment
Resiliency
security property
system resiliency
Unity software
Resilient Security Architectures
biblio
How Secure Is Your IoT Network?
Submitted by grigby1 on Tue, 10/06/2020 - 12:51pm
Attack Circuit
attack graph
attack graphs
Computing Theory
Exploitability
graph theory
impact
Internet of Things
IoT device security
IoT network security
Metrics
Network
network flow
pubcrawl
Risk
security
security assessment
Security Metrics
security of data
SIEM logs
Vulnerability
biblio
Security Assessment of Dynamic Networks with an Approach of Integrating Semantic Reasoning and Attack Graphs
Submitted by aekwall on Mon, 10/05/2020 - 10:53am
security of data
enterprise networks
Ontologies
security
network security
Resiliency
pubcrawl
composability
graph theory
Mobile handsets
Metrics
tools
Decision Making
risk management
cyber-attacks
ontologies (artificial intelligence)
security assessment
security problems
cognition
Semantics
inference mechanisms
attack graph
security knowledge
Inference algorithms
integrating semantic reasoning
ontology- and graph-based approach
risk assessment experience
scalable security analysis
Security Ontology
semantic reasoning
test networks
Dynamic Networks and Security
biblio
ForeSee: A Cross-Layer Vulnerability Detection Framework for the Internet of Things
Submitted by aekwall on Mon, 09/21/2020 - 2:35pm
security of data
Internet of Things
IoT devices
Internet of Things (IoT)
Resiliency
pubcrawl
graph theory
Protocols
Vulnerability Analysis
Decision Making
Intrusion Detection
firmware
IoT security
vulnerability detection
cyber security
security issues
IoT systems
attack graph
Internet-of-Things devices
model checking
network protocols
composability
catastrophic accidents
corresponding graph-based analysis
cross-layer formal framework
cross-layer vulnerability detection framework
design flaws
device firmware
ForeSee
high-level decision-making processes
IoT privacy
long sequence
low-level physical surroundings
Multiple layer
multiple layers
physical environment
potential attack paths
severe threats
system configurations
Cross Layer Security
biblio
A Survey of Attack Models for Cyber-Physical Security Assessment in Electricity Grid
Submitted by aekwall on Tue, 09/08/2020 - 9:00am
security of data
IP networks
Scalability
Data models
cyber-physical systems
Resiliency
pubcrawl
power grids
password
power engineering computing
power system security
Markov processes
electricity grid
Power Grid
cyber-physical system
markov chain
attack graph
attack propagation
bad data injection
Cyber-physical security assessment
PLADD
attack models
data injection attack scenario
Chained Attacks
biblio
A Hybrid Attack Model for Cyber-Physical Security Assessment in Electricity Grid
Submitted by aekwall on Tue, 09/08/2020 - 8:59am
security of data
Scalability
security
Data models
cyber-physical systems
learning (artificial intelligence)
Resiliency
pubcrawl
Mathematical model
smart power grids
Substations
power grids
power engineering computing
power system security
Games
Markov processes
electricity grid
Power Grid
Planning
markov chain
attack graph
attack propagation
bad data injection
bad data injection attack
Cyber-physical security assessment
Dynamic Defender model
execution stage
execution stages
HAM
hybrid attack model
Markov Chain model
PLADD
preparation stage
Probabilistic Learning Attacker
Chained Attacks
1
2
3
4
next ›
last »
