Fast Attack Graph Defense Localization via Bisimulation.

Nimrod Busany, Rafi Shalom, Dan Klein, Shahar Maoz

Browse the full FM paper archive.