URL formalization: an efficient technique to speedup content-aware switching | IEEE Journals & Magazine | IEEE Xplore