Dynamic logic-based attack graph for risk assessment in complex computer systems

Antoine Boudermine, Rida Khatoun, Jean-Henri Choyer. Dynamic logic-based attack graph for risk assessment in complex computer systems. Computer Networks, 228:109730, June 2023. [doi]

Abstract

Abstract is missing.