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
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;
Conference_Titel :
Computer Networks and Mobile Computing, 2001. Proceedings. 2001 International Conference on
Conference_Location :
Los Alamitos, CA
Print_ISBN :
0-7695-1381-6
DOI :
10.1109/ICCNMC.2001.962609
