Checking the OpenFlow Rule Installation and Operational Verification | IEEE Conference Publication | IEEE Xplore