An OSPF topology server: design and evaluation | IEEE Journals & Magazine | IEEE Xplore