Keyphrases
Synthetic Evaluation
100%
Resilient
100%
Cyber Defense
100%
Cyber-attacks
33%
Cyber
33%
Adversary
33%
Reactive Control
22%
Automated Synthesis
22%
Course of Action
22%
Kill Chain
22%
Impact Resistance
11%
Automated Verification
11%
Formal Modeling
11%
Unstructured Text
11%
Virtual Assessment
11%
All-phase
11%
Multi-strategy
11%
Logic Model
11%
Measurement Framework
11%
Formal Specification
11%
Evaluation Environment
11%
Analytic Technique
11%
Attack Defense
11%
Attack Phase
11%
Pre-attack
11%
Attacker Capabilities
11%
Logical Specification
11%
Crash Sensor
11%
Resistance Material
11%
Highly Dynamic
11%
Defense Techniques
11%
Proactive Mode
11%
Cyber Threats
11%
Composition Measurement
11%
Timely Manner
11%
Attacker
11%
Deterrence
11%
Proactive-reactive
11%
Formal Framework
11%
Sensor Effect
11%
Formal Logic
11%
Reactive Mode
11%
Airbag
11%
Model Metrics
11%
Comprehensive Measure
11%
Reconfiguration
11%
Car Crash
11%
Cyber Resistance
11%
Redundancy
7%
Management System
7%
Computer Science
Cyber Attack
100%
Kill Chain
66%
Attackers
66%
formal modeling
33%
Analytics Technique
33%
Formal Logic
33%
Formal Framework
33%
Defense Strategy
33%
Reconfiguration
33%
Layer Approach
33%
Measurement Framework
33%
System Management
22%
Testbed
22%