An EC-based formalism for policy refinement in software-defined networking | IEEE Conference Publication | IEEE Xplore