Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation

From MaRDI portal




Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation











This page was built for dataset: Artifact for FM'24 paper: Fast Attack Graph Defense Localization via Bisimulation