A fast method of verifying network routing with back-trace header space analysis | IEEE Conference Publication | IEEE Xplore