Verification of Session Initiation Protocol Using Timed Colored Petri Net

• 作者: Mürvet K?rc? Safiye K?zmaz
• 来源期刊: 通讯、网络与系统学国际期刊(英文)
• 学科: 工学
• 关键词: Session Initiation PROTOCOL TIMED COLORED PETRI Nets PROTOCOL VERIFICATION CPN Tool
• 年，卷（期）: 2011,（3）
• 页码范围: 170-179
• 页数: 10页
• 分类号: TP39

摘要

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.