Separating identifier from locator with extended DNS | IEEE Conference Publication | IEEE Xplore