Improved Reachability Analysis for Security Management.

Cataldo Basile, Daniele Canavese, Antonio Lioy, Christian Pitscheider

Browse the full PDP paper archive.