TITLE:
Verification of Session Initiation Protocol Using Timed Colored Petri Net
AUTHORS:
Safiye Kızmaz, Mürvet Kırcı
KEYWORDS:
Session Initiation Protocol, Timed Colored Petri Nets, Protocol Verification, CPN Tool
JOURNAL NAME:
International Journal of Communications, Network and System Sciences,
Vol.4 No.3,
March
10,
2011
ABSTRACT: In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiation Protocol (SIP) has become the quasi-standard for Voiceover-Internet Protocol (VoIP) communications. SIP is based on a client–server infrastructure in which user agents represent the end-terminals as clients, proxy servers handle SIP message routing between the user agents, and registrar servers store the client’s contact information into a location service. By use of timed color set and useful time attributes in tokens defined in CPN tools, timer and time-related problems of SIP are modeled and analyzed. Timer is an important part for SIP, especially the INVITE transaction.