基于DSPN的SIP协议行为模型

来源 :计算机工程与应用 | 被引量 : 0次 | 上传用户:wlh0089
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri网(deterministic and stochastic Petri nets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实现奠定了基础。
其他文献
8月3日,四川省崇州市桤泉镇120余hm^2红提开园迎客,该镇第四届红提采摘节隆重开幕。在开幕式上,红提王评选、吃红提大赛、评选“食神”、红提拍卖捐助贫困学子等活动将会场气氛
自动文本摘要的特征评价方法的研究一直未受到研究者们的重视。以往只是简单地将面向文本集的TF.IDF特征评价方法应用于针对单文本的自动文摘领域,该方法无法排除低频词噪音的
首先分析了传统的UNIX操作系统驱动程序模型,指出其存在的局限性;其次介绍了构件技术,并将构件技术运用到设备驱动程序设计中,提出了构件化驱动程序模型,并试图弥补UNIX系统的驱动
新翼豹的外观变得柔和,内部则更注重空间和实用性。两厢车的造型、取消了无边框的车窗设计、悬挂也更柔软舒适了。这还是我们印象中的那部翼豹吗?
以中间件技术为基础框架的多层体系结构愈来愈得到重视,但应用范例较少,该文首先介绍了多层应用体系结构,然后以Tuxedo为例详细阐述了基于中间件的多层体系结构框架,最后在应用实
据《园艺学报》2006年第6期报道 河北省农林科学院昌黎果树研究所的研究人员,选取2年生自然实生巨峰葡萄树为材料,采用酶联免疫法(ELISA),分析葡萄自然实生树不同节位芽中内源赤霉
时间退回到今年4月,梅赛德斯-奔驰宣布开始进行被称为F-Cell的全新氢燃料电池动力车的小规模测试生产,现在看来这个计划实施得挺顺利。根据奔驰内部的消息,这款车将于明年年初首
描述了现有无线局域网WLAN标准IEEE802.11(1999)的WEP安全机制,对其存在的密钥序列重复使用、密钥管理与更新及消息认证和完整性问题等潜在的安全威胁进行了深入的理论研究,提出并
宣称自信如我的新景程,是年中间世的一款车型。上海通用雪佛兰品牌,对新景程在中型车市场上的表现寄以厚望。在这一级别的较量中,国内各大品牌高手如林,市场竞争激烈。有人曾说:有
作为多媒体服务的主要组成部分,视频数据传输的性能评估是多媒体传输系统性能评估的核心内容。文章首先介绍了泊松点过程驱动的随机微分方程的相关数学理论,然后以变码率(VBR)