Automatic, Verifiable and Optimized Policy-based Security Enforcement for SDN-aware IoT networks
A novel methodology which leverages Maximum Satisfiability Modulo Theories (MaxSMT) to automatically compute a formally correct and optimized allocation scheme and configuration of SDN switches by refining security policies, user-defined or derived from detected attacks is proposed.
Daniele Bringhenti, Jalolliddin Yusupov, A. M. Zarca et al.
· 3 citations