CPN Modeling and Analysis of L2TP

  • Authors:

  • Yongwei Wang;Shaowen Yao;Ying Zhao;Mingtian Zhou

  • Affiliations:

  • -;-;-;-

  • Venue:
  • ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

L2TP is an important tunneling protocol in IP VPN. Coloured Petri Nets 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 andfeasibility. 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 forprogramming of L2TP.