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
, Article 40.
Available at: https://dc.naturalspublishing.com/amis/vol08/iss6/40