Automated verification of security chains in software-defined networks with synaptic.

Nicolas Schnepf, Remi Badonnel, Abdelkader Lahmadi, Stephan Merz

Browse the full NetSoft paper archive.