Attack Graph-based Solution for Vulnerabilities Impact Assessment in Dynamic Environment. - Antoine Boudermine; Rida Khatoun; Jean-Henri Choyer (CIoT, 2022)

Dynamic logic-based attack graph for risk assessment in complex computer systems. - Antoine Boudermine; Rida Khatoun; Jean-Henri Choyer (Comput. Networks, 2023)