Automated and Optimized Formal Approach to Verify SDN Access-Control Misconfigurations.

Amina Sadaoui, Nihel Ben Youssef Ben Souayeh, Adel Bouhoula

Browse the full TridentCom paper archive.