A Hybrid Attack Graph Analysis Method based on Model Checking. - Yaogang Ge; Xiaomeng Shen; Bingfeng Xu; Gaofeng He (CBD, 2022)