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