|
![](images/pix01.gif) |
|
|
|
Modeling and Analysis of an IPv4-IPv6 Address Translation System |
|
PP: 3013-3019 |
|
Author(s) |
|
Zheng Hong,
Sun Nigang,
Pan Li,
|
|
Abstract |
|
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. |
|
|
![](images/pix01.gif) |
|
|