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

From MaRDI portal
(Redirected from Dataset:6722194)




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