CleanBGP: verifying the consistency of BGP data | IEEE Conference Publication | IEEE Xplore