Efficient fault-tolerant protocol for mobility agents in mobile IP | IEEE Conference Publication | IEEE Xplore