Sign in
A scalable algorithm for network reachability analysis with cyclic attack graphs.
Kengo Zenitani
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