DocumentCode
3401443
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
fYear
2013
fDate
11-12 Dec. 2013
Firstpage
214
Lastpage
219
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Current Trends in Information Technology (CTIT), 2013 International Conference on
Conference_Location
Dubai
Type
conf
DOI
10.1109/CTIT.2013.6749506
Filename
6749506
Link To Document