Verifying Rule Enforcement in Software Defined Networks With REV | IEEE Journals & Magazine | IEEE Xplore