A scalable algorithm for network reachability analysis with cyclic attack graphs.

Published in: J. Comput. Secur. (2023)

Keyphrases

attack graphs
attack graph
reachability analysis
network configuration
markov decision processes
real time
model checking
alert correlation
machine learning
learning algorithm
reinforcement learning
network traffic
timed automata