文章基本信息

标题：Protocol Verification of Translation in Mobile Internet Protocol Version 4 and 6
其他标题：Protocol Verification of Translation in Mobile Internet Protocol Version 4 and 6
本地全文：下载
作者：Susanna S. Henry ; B. Vijay Kumar ; V. Santhosh Kumar 等
期刊名称：Journal of Computers
印刷版ISSN：1796-203X
出版年度：2016
卷号：11
期号：2
页码：149-158
DOI：10.17706/jcp.11.2.149-158
出版社：Academy Publisher
摘要：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.
其他关键词：Address translation, domain name system, mapping, stateless and stateful translation.