10.3969/j.issn.1672-9722.2006.07.002
基于SDL语言的SIP协议的形式化研究
会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型.介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础.
SIP协议、SDL、形式化
34
TP3(计算技术、计算机技术)
国家科技攻关项目2003AA115420
2006-08-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
4-6,10