Title :
On reachability analysis in MIPv4-MIPv6 coexistence phase.
Author :
Henry, Susanna S. ; Kumar, V. Satya
Author_Institution :
Dubai Campus, Dept. of Comput. Sci., BITS Pilani, Dubai, United Arab Emirates
Abstract :
The primary purpose of this paper is to provide reachability between applications running on end hosts in MIPv4-MIPv6 coexistence phase. In this paper, we describe how to compute the reachability which a network, in this case MIPv4-MIPv6, provides from a snapshot of the configuration state from each of the routers. Reachability analysis of any network would be valuable for verifying the intent of the network designer, troubleshooting reachability problems, and performing “what-if” analysis of failure scenarios.
Keywords :
IP networks; Internet; mobile computing; protocols; reachability analysis; MIPv4-MIPv6 coexistence phase; configuration state; mobile Internet protocol version4; mobile Internet protocol version6; reachability analysis; reachability problem troubleshooting; what-if failure scenario analysis; Abstracts; Authentication; Manganese; Open source software; System recovery; MIPv4-MIPv6; Mobile internet protocol version4(MIPv4); Mobile internet protocol version6(MIPv6); PROMELA; SPIN;
Conference_Titel :
Current Trends in Information Technology (CTIT), 2013 International Conference on
Conference_Location :
Dubai
DOI :
10.1109/CTIT.2013.6749506
