DocumentCode
2445492
Title
The Analysis and Verification of IPv4/ IPv6 Protocol Conversion by Petri Nets
Author
Hong, Zheng ; Nigang, Sun ; Ciardo, Gianfranco
Author_Institution
Comput. Sci. & Eng. Dept., East China Univ. of Sci. & Technol., Shanghai, China
fYear
2012
fDate
23-25 Nov. 2012
Firstpage
393
Lastpage
398
Abstract
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.
Keywords
IP networks; Petri nets; protocols; IPv4-IPv6 protocol conversion; Petri nets; security requirement; Analytical models; Firing; IP networks; Internet; Petri nets; Protocols; Security; IPv; Modelling; Petri nets; Protocol Conversion;
fLanguage
English
Publisher
ieee
Conference_Titel
Digital Home (ICDH), 2012 Fourth International Conference on
Conference_Location
Guangzhou
Print_ISBN
978-1-4673-1348-3
Type
conf
DOI
10.1109/ICDH.2012.25
Filename
6376446
Link To Document