基于SDL语言的SIP协议的形式化研究
赵静峰
张力军
1.北京航空航天大学计算机学院,北京,1000832.北京航空航天大学计算机学院,北京,100083
摘要：会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型.介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础.
关键词：SIP协议SDL形式化
分类号：TP3(计算技术、计算机技术)
资助基金：国家科技攻关项目(2003AA115420)
论文发表日期：2006-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 4-6,10 )
英文信息