摘要：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.
