C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Hybrid Attack Graph Analysis Method based on Model Checking.
Yaogang Ge
Xiaomeng Shen
Bingfeng Xu
Gaofeng He
Published in:
CBD (2022)
Keyphrases
</>
model checking
temporal logic
verification method
temporal properties
reinforcement learning
dynamic programming
neural network
bayesian networks