Anomaly-free policy composition in software-defined networks | IEEE Conference Publication | IEEE Xplore