SRV: Switch-based rules verification in software defined networking | IEEE Conference Publication | IEEE Xplore