DocumentCode
1831993
Title
CPN modeling and analysis of L2TP
Author
Wang, Yongwei ; Yao, Shaowen ; Zhao, Ying ; Zhou, Mingtian
Author_Institution
Dept.of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China
fYear
2001
fDate
2001
Firstpage
281
Lastpage
288
Abstract
L2TP is an important tunneling protocol in IP VPN. Coloured Petri nets (CPN) is a well- suited formal approach for modeling and analysis of network protocol. Upon the introduction to CPN and L2TP hierarchical and timed CPN is used to create the model of L2TP Then the occurrence graph is analyzed. With this model, we test the protocol behavior to verify its applicability and feasibility. Moreover, we find an exception that L2TP did not define when tunnels are establishing concurrently and then give the solution. This model can also be referred for programming of L2TP
Keywords
Petri nets; formal specification; graph colouring; protocols; CPN modeling; IP VPN; L2TP analysis; coloured Petri nets; occurrence graph; tunneling protocol; Electronic mail; Emulation; Encapsulation; IP networks; Petri nets; Testing; Transport protocols; Tunneling; Virtual private networks; Wide area networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Networks and Mobile Computing, 2001. Proceedings. 2001 International Conference on
Conference_Location
Los Alamitos, CA
Print_ISBN
0-7695-1381-6
Type
conf
DOI
10.1109/ICCNMC.2001.962609
Filename
962609
Link To Document