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
Markov Models
biblio
Markov Models of Cyber Kill Chains with Iterations
Submitted by aekwall on Tue, 09/08/2020 - 9:59am
Information systems
Weapons
targeted cyber-attack processes
targeted cyber attacks
stochastic models
security of data
Scalability
Resiliency
Reconnaissance
pubcrawl
Markov processes
Markov Models
Chained Attacks
homogeneous continuous time Markov chains
homogeneous continuous time Markov chain
cyber-attacks life cycles
cyber-attack process
cyber-attack life cycle
cyber-attack kill chains
cyber threats
cyber kill chains bases
cyber kill chain with iterations
command and control systems
biblio
Markov Modeling of Moving Target Defense Games
Submitted by grigby1 on Thu, 05/18/2017 - 3:10pm
Adversary Models
Control Theory
IP hopping
Markov Models
Measurement
Metrics
moving target defenses
privacy
privacy models
privacy models and measurement
pubcrawl
security capacity
single/multiple-target hiding
biblio
"WAP: Models and metrics for the assessment of critical-infrastructure-targeted malware campaigns"
Submitted by abfox on Tue, 02/14/2017 - 1:37pm
Markov Models
WAP
Topology
system survivability
Survivability
Steady-state
soft impacts
security community
security
scanning nodes
rejuvenation
quarantine
pubcrawl170101
probability
network topology
Mathematical model
advanced persistent threat
malware infections
malware
invasive software
infection probability
four-node topology
false positives
false negatives
early malware detection
critical infrastructures
critical infrastructure sectors
Critical Infrastructure Protection
coordinated massive malware campaign assessment
contagion probability
Analytical models
advanced persistent threats
file
Safety-Constrained Reinforcement Learning for MDPs
Submitted by akarns on Tue, 01/26/2016 - 3:52pm. Contributor:
Nils Jansen
Presented as part of the
2016 HCSS conference
.
Modeling
Validation and Verification
Foundations
Controller Synthesis
formal verification
Markov Models
MILP
SMT
University of Texas
High Confidence Software and Systems Conference 2016
Academia
Presentation
