A Dynamic Service Identity-Based Security Policy Consistency Checking Mechanism in SDN | IEEE Conference Publication | IEEE Xplore