AItomatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks Romy 23 March 2023