Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks | Publicación