Synaptic: A formal checker for SDN-based security policies.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Browse the full NOMS paper archive.