Volume 11 Number 2 (Mar. 2016)
Home > Archive > 2016 > Volume 11 Number 2 (Mar. 2016) >
JCP 2016 Vol.11(2): 149-158 ISSN: 1796-203X
doi: 10.17706/jcp.11.2.149-158

Protocol Verification of Translation in Mobile Internet Protocol Version 4 and 6

Susanna S. Henry1, B. Vijay Kumar1, V. Santhosh Kumar1, Gurwinder Singh2
1CS Dept, BPDC, Dubai, UAE.
2EEE Dept, BPDC, Dubai.


Abstract—Verifying a protocol means ensuring that it is free of logical errors prior to implementing it. The goal of verifying the protocol is to guarantee that protocol does exactly what the designer intended. This paper presents the methodology to verify protocols in transition phase of Mobile IP. Due to insufficient addresses in IPv4 there is an urgent need to switch to IPv6. Translation is an effective technique that enables IPv4-only devices to communicate with IPv6-only devices. This paper deals with operation of Address translation & Mapping technique in Translation. The Design Analysis in this paper demonstrates methodology to verify translation of IPv4 data packet to IPv6 data packet.

Index Terms—Address translation, domain name system, mapping, stateless and stateful translation.

[PDF]

Cite: Susanna S. Henry, B. Vijay Kumar, V. Santhosh Kumar, Gurwinder Singh, "Protocol Verification of Translation in Mobile Internet Protocol Version 4 and 6," Journal of Computers vol. 11, no. 2, pp. 149-158, 2016.

General Information

ISSN: 1796-203X
Frequency: Monthly (2006-2014); Bimonthly (Since 2015)
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Cherry L. Chen
Abstracting/ Indexing: DBLP, EBSCO, DOAJ, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Jan 20, 2017 News!

    Vol.12, No.6 has been published with online version.   [Click]

  • Jan 16, 2017 News!

    Vol.12, No.5 has been published with online version.   [Click]

  • Oct 09, 2016 News!

    Vol.12, No.4 has been published with online version.   [Click]

  • Sep 02, 2016 News!

    Vol.11, No.3 has been indexed by EI (Inspec).   [Click]

  • Aug 18, 2016 News!

    Vol.11, No.2 has been indexed by EI (Inspec).   [Click]

  • Read more>>