期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
Verification of Session Initiation Protocol Using Timed Colored Petri Net
1
作者 safiye kizmaz Mürvet Kirci 《International Journal of Communications, Network and System Sciences》 2011年第3期170-179,共10页
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 acr... 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. 展开更多
关键词 Session Initiation Protocol Timed Colored Petri Nets Protocol Verification CPN Tool
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部