Modeling and Analysis of an IPv4-IPv6 Address Translation System

Authors

Zheng Hong, School of Information Science and Engineering, East China University of Science and Technology, Shanghai 200237, ChinaFollow
Sun Nigang
Pan Li

Author Country (or Countries)

China

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.

Suggested Reviewers

N/A

Digital Object Identifier (DOI)

http://dx.doi.org/10.12785/amis/080640

Recommended Citation

Hong, Zheng; Nigang, Sun; and Li, Pan (2014) "Modeling and Analysis of an IPv4-IPv6 Address Translation System," Applied Mathematics & Information Sciences: Vol. 08: Iss. 6, Article 40.
DOI: http://dx.doi.org/10.12785/amis/080640
Available at: https://digitalcommons.aaru.edu.jo/amis/vol08/iss6/40