Analytical models

biblio

Quantifying & minimizing attack surfaces containing moving target defenses

Submitted by Katie Dey on Fri, 09/13/2019 - 5:48am

Analytical models
attack surface minimization
C3E 2019
Computational modeling
cyber friendly fire
cyber security analysis
cyber security exposure
dynamic proactive defenses
Human Machine Teaming
IP networks
Measurement
Minimization
modeling
moving target defenses
Quantification
Resilient Systems
security
security of data
Surface treatment
threat assessment
timeliness violations
Human Machine Teaming
C3E 2019

biblio

Semantic Interaction for Visual Analytics: Toward Coupling Cognition and Computation

Submitted by Katie Dey on Mon, 09/09/2019 - 3:29pm

cognition
data analysis
data visualisation
human computer interaction
semantic interaction
visual analytics
Computation
analytical reasoning
user interaction methodology
user analytic process
model steering functionality
human-in-the-loop system design
user evaluation
Semantics
Analytical models
Data visualization
Data models
Computational modeling
IN-SPIRE
Alex Endert
Human-computer interaction
visualization
Computer graphics
Graphics
HMT
Human Machine Teaming
Interactions
C3E 2019

biblio

Using a Robust Metadata Management System to Accelerate Scientific Discovery at Extreme Scales

Submitted by aekwall on Wed, 09/04/2019 - 11:16am

Scalability
Resiliency
pubcrawl
composability
Computational modeling
query processing
metadata
Analytical models
fault tolerance
meta data
storage management
-ATDM
-data-tagging
-Decaf
-descriptive-metadata
-EMPRESS
-SIRIUS
Acceleration
atomic operations
custom-metadata
EMPRESS 1.0
EMPRESS 2.0
Fault tolerant systems
metadata management system
Production systems
query functionality
scale-up scientific applications
scientific discovery
software fault tolerance
Metadata Discovery Problem

biblio

Modeling and Analysis of Cascading Failures in Interdependent Cyber-Physical Systems

Submitted by grigby1 on Mon, 08/26/2019 - 11:06am

Analytical models
Cascading Failures
Communication networks
complex networks
Compositionality
Cyber Dependencies
cyber-network
cyber-physical systems
failure analysis
Human behavior
Human Factors
initial flow
integrated cyber-physical systems
interdependency model
interdependent cyber-physical systems
intra-dependency
intricate dependencies
large-scale failures
Metrics
network parameters
network theory (graphs)
novel interdependent system model
Numerical models
physical network
power system faults
Power system protection
pubcrawl
resilience
Resiliency
Robustness
Scalability
security of data
system robustness

biblio

A Framework for Threat-Driven Cyber Security Verification of IoT Systems

Submitted by grigby1 on Fri, 06/28/2019 - 10:36am

Alloy
Analytical models
attack patterns
Communication channels
Compositionality
control systems
distributed control
distributed industrial control systems
formal verification
industrial control
industrial IoT infrastructures
Internet of Things
IoT
IoT systems
Metals
Metrics
mitigation strategies
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
scalable verification
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification

biblio

Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed

Submitted by willirn1 on Fri, 05/31/2019 - 10:41am

System-security co-design
actuation capability
Analytical models
Computational modeling
computer architecture
computer security
CPS attack experiments
cyber components
cyber physical systems
cyber-attack effect evaluation
cyber-physical system
cyber-physical systems
cybersecurity design process
embedded computers
embedded systems
Experimentation
Hardware
hardware-in-the loop simulation
hardware-in-the-loop
hardware-in-the-loop simulation testbed
HIL testbed
model based software development framework
Model Integrated Computing
physical components
physical system
platform specific performance measurements
railway transportation system
resilience
security of data
simulation environment
Software
software engineering
system functions
testbed
Vanderbilt
vulnerability assessment

biblio

Time Independent Security Analysis for Dynamic Networks Using Graphical Security Models

Submitted by aekwall on Wed, 05/01/2019 - 1:05pm

Analytical models
composability
cyber security
Databases
Dynamic Network
Dynamical Systems
graph theory
graphical security model
graphical security models
GSM
Metrics
network systems security
network topology
pubcrawl
Resiliency
security
Security analysis
security models
security of data
Servers
Time independent security analysis
Time-independent Hierarchical Attack Representation Model
Topology

biblio

DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats

Submitted by grigby1 on Thu, 03/28/2019 - 3:15pm

security
security of data
Analytical models
Computational modeling
Games
resilience
Monitoring
pubcrawl
Scalability
game theory
Stochastic processes
firewalls
Cyber Attacks
Resiliency
adversarial information flows
defense strategies
DIFT games
dynamic information flow tracking games
information flow passes
memory overhead
multistage game
nonadversarial information tracking
optimal adversary
RAIN framework
realworld attack dataset
refinable attack investigation framework
signature-based antivirus systems
suspicious information
tagging
signature based defense

biblio

Trustworthiness Optimization of Industrial Cluster Network Platform Based on Blockchain

Submitted by aekwall on Mon, 03/11/2019 - 10:38am

Analytical models
Application Layer
blockchain
collaboration
composability
data layer
Distributed databases
Economics
industrial cluster
industrial cluster network platform
Industries
information service platform
Information services
information trustworthiness
network platform
optimisation
optimization
pubcrawl
security of data
small and medium-sized enterprises
small-to-medium enterprises
smart contracts
Trusted Computing
trustworthiness
trustworthiness optimization

biblio

Capture the RAT: Proximity-Based Attacks in 5G Using the Routine Activity Theory

Submitted by grigby1 on Wed, 03/06/2019 - 4:24pm

5G cellular networks
5G devices
5G environments
5G mobile communication
5G security
Analytical models
Autonomic Security
autonomous vehicles
capillary network
Cellular networks
cellular radio
composability
CRAT
critical IoT devices
Device-to-device communication
Hardware
high-level approach
OMNET++
proactive security
proximity-based attack analysis
proximity-based cybercrime
pubcrawl
RAT
reactive solutions
resilience
Resiliency
routine activity theory
security
Security analysis
security problems
security software developers
Software
telecommunication security

1
2
3
4
5
6
7
8
9
next ›
last »

Cyber-Physical Systems Virtual Organization

Fostering collaboration among CPS professionals in academia, government, and industry

Analytical models

Quantifying & minimizing attack surfaces containing moving target defenses

Semantic Interaction for Visual Analytics: Toward Coupling Cognition and Computation

Using a Robust Metadata Management System to Accelerate Scientific Discovery at Extreme Scales

Modeling and Analysis of Cascading Failures in Interdependent Cyber-Physical Systems

A Framework for Threat-Driven Cyber Security Verification of IoT Systems

Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed

Time Independent Security Analysis for Dynamic Networks Using Graphical Security Models

DIFT Games: Dynamic Information Flow Tracking Games for Advanced Persistent Threats

Trustworthiness Optimization of Industrial Cluster Network Platform Based on Blockchain

Capture the RAT: Proximity-Based Attacks in 5G Using the Routine Activity Theory