文件名称:SDLDesignSIP
- 所属分类：
- Internet/网络编程
- 资源属性：
- [PDF]
- 上传时间：
- 2012-11-26
- 文件大小：
- 260kb
- 下载次数：
- 0次
- 提 供 者：
- w**
- 相关连接：
- 无
- 下载说明：
- 别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容均来自于网络，请自行研究使用
会话初始协议SIP 作为推荐的Internet 会议和VoIP 应用层信令控制协议,在RFC 中没有严格地给出其行为的
形式化模型。介绍了SIP 协议,简要阐述了SDL(specification and descr iption language) 的基本概念及使用它描述网络协议的优
点,并利用SDL 给出了SIP 协议的形式化描述,为进一步的协议实现和验证奠定了基础。-SIP Session Initiation Protocol, as recommended by Internet meetings and VoIP application layer control protocol signaling, in the RFC is not strictly given formal model of his actions. Introduced the SIP agreement, briefly expounded on SDL (specification and descr iption language) the basic concept and use it to describe the advantages of network protocols and to make use of SDL is given formal descr iption SIP agreement, in order to further the achievement of the agreement laid the foundation and validation .
形式化模型。介绍了SIP 协议,简要阐述了SDL(specification and descr iption language) 的基本概念及使用它描述网络协议的优
点,并利用SDL 给出了SIP 协议的形式化描述,为进一步的协议实现和验证奠定了基础。-SIP Session Initiation Protocol, as recommended by Internet meetings and VoIP application layer control protocol signaling, in the RFC is not strictly given formal model of his actions. Introduced the SIP agreement, briefly expounded on SDL (specification and descr iption language) the basic concept and use it to describe the advantages of network protocols and to make use of SDL is given formal descr iption SIP agreement, in order to further the achievement of the agreement laid the foundation and validation .
(系统自动生成,下载前可以参看下载内容)
下载文件列表
基于SDL语言的SIP协议的形式化研究.pdf