文献类型：期刊文献

英文题名：The analysis and verification of IPv4/ IPv6 protocol conversion by Petri nets

作者：Zheng, Hong[1]; Sun, Nigang[2]; Ciardo, Gianfranco[3]

机构：[1] Computer Science and Engineering Dept., East China University of Science and Technology, Shanghai, China; [2] School of Information Science and Engineering, Changzhou University, Changzhou, Jiangsu, China; [3] Department of Computer Science and Engineering, University of California, Riverside, CA 92507, United States

年份：2012

起止页码：393

外文期刊名：Proceedings - 4th International Conference on Digital Home, ICDH 2012

收录：EI(收录号：20130315901386)

语种：英文

外文关键词：Internet protocols

摘要：IPv6 is designed to address the scalability and service shortcomings of the current IPv4 protocol. Unfortunately, IPv6 is not backward-compatible with the IPv4. It is necessary to consider IPv4-IPv6 protocol conversion. To resolve this problem, in the paper, we use Petri nets to simulate and model the IPv4-Pv6 protocol conversion process. By analyzing the bounded ness, activity and reversibility of the model, we prove that the process can both achieve IPv4-IPv6 conversion and satisfy system security requirements. ? 2012 IEEE.