Modeling and Analysis of an IPv4-IPv6 Address Translation System

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 req uirements.

[1]  Kimberly C. Claffy,et al.  Tracking IPv6 evolution: data we have and data we need , 2011, CCRV.

[2]  Xiaomin Zhu,et al.  Petri net model of protocol conversion for CTF service: its universal coupling criteria and property analysis , 2007, Int. J. Commun. Syst..

[3]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[4]  Yi-Bing Lin,et al.  An IPv4-IPv6 translation mechanism for SIP overlay network in UMTS all-IP environment , 2005, IEEE Journal on Selected Areas in Communications.

[5]  Davide Aloini,et al.  Modelling and assessing ERP project risks: A Petri Net approach , 2012, Eur. J. Oper. Res..

[6]  Alistair Munro,et al.  Toward Formal Verification of 802.11 MAC Protocols: Verifying a Petri-Net Model of 802.11 PCF , 2006, IEEE Vehicular Technology Conference.

[7]  John W. Fowler,et al.  Petri Net Translation Patterns for the Analysis of eBusiness Collaboration Messaging Protocols , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[8]  Erik Nordmark,et al.  Transition Mechanisms for IPv6 Hosts and Routers , 1996, RFC.

[9]  John Curran,et al.  An Internet Transition Plan , 2008, RFC.

[10]  George Tsirtsis,et al.  Network Address Translation - Protocol Translation (NAT-PT) , 2000, RFC.

[11]  E. Jankiewicz,et al.  IPv6 Translation for IPv4 Embedded Systems , 2006, 2006 IEEE Sarnoff Symposium.

[12]  Apostolos Gkamas,et al.  Porting and performance aspects from IPv4 to IPv6: The case of OpenH323: Research Articles , 2005 .

[13]  Shaneel Narayan,et al.  Network performance evaluation of routers in IPv4/IPv6 environment , 2010, 2010 IEEE International Conference on Wireless Communications, Networking and Information Security.

[14]  Christos Bouras,et al.  Porting and performance aspects from IPv4 to IPv6: The case of OpenH323 , 2005, Int. J. Commun. Syst..

[15]  Zhixiang Yin,et al.  The Analysis Method about Change Domain of Business Process Model Based on the Behavior Profile of Petri Net , 2012 .

[16]  Eric Grosse,et al.  Network processors applied to IPv4/IPv6 transition , 2003 .

[17]  Arturo Azcorra,et al.  Integrated routing and addressing for improved IPv4 and IPv6 coexistence , 2010, IEEE Communications Letters.

[18]  Brian E. Carpenter,et al.  Connection of IPv6 Domains via IPv4 Clouds , 2001, RFC.

[19]  J. Govil.  On the investigation of transactional and interoperability issues between IPv4 and IPv6 , 2007, 2007 IEEE International Conference on Electro/Information Technology.