With the development of IPv6, several IPv6-IPv4 translation systems for communicating between IPv6 networks and IPv4 networks have been proposed. The paper presented an IPv4-IPv6 translation mechanism by using network Address. Also, the IPv4-Pv6 translation system is modelling based on Petri nets. By analyzing the boundedness, liveness and reversibility of the model, the proposed IPv4-IPv6 translation method is feasible and satisfies system security requirements.
Digital Object Identifier (DOI)
Hong, Zheng; Nigang, Sun; and Li, Pan
"Modeling and Analysis of an IPv4-IPv6 Address Translation System,"
Applied Mathematics & Information Sciences: Vol. 08:
6, Article 40.
Available at: https://digitalcommons.aaru.edu.jo/amis/vol08/iss6/40