...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of communications, network, and system sciences >Verification of Session Initiation Protocol Using Timed Colored Petri Net
【24h】

Verification of Session Initiation Protocol Using Timed Colored Petri Net

机译：使用定时着色Petri网验证会话启动协议

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：在这项工作中，通过使用定时彩色Petri网（TCPN）建立会话启动协议模型。 SIP（会话启动协议）是一种协议，旨在帮助在Internet上提供高级电话服务。会话发起协议（SIP）已成为Internet语音协议（VoIP）通信的准标准。 SIP基于客户端-服务器基础结构，其中用户代理代表客户端的终端，代理服务器处理用户代理之间的SIP消息路由，并且注册服务器将客户端的联系信息存储到位置服务中。通过使用CPN工具中定义的令牌中的定时颜色集和有用的时间属性，可以对SIP中与计时器和时间相关的问题进行建模和分析。计时器是SIP的重要组成部分，尤其是INVITE事务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号