基于SDL语言的SIP协议的形式化研究

• 作者: 张力军 赵静峰
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: SIP协议 SDL 形式化
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 基金论文
• 页码范围: 4-6,10
• 页数: 4页
• 分类号: TP3
• 字数: 3351字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2006.07.002

摘要

会话初始协议SIP作为推荐的Internet会议和VoIP应用层信令控制协议,在RFC中没有严格地给出其行为的形式化模型.介绍了SIP协议,简要阐述了SDL(specification and description language)的基本概念及使用它描述网络协议的优点,并利用SDL给出了SIP协议的形式化描述,为进一步的协议实现和验证奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张力军	北京航空航天大学计算机学院	23	159	6.0	12.0
2	赵静峰	北京航空航天大学计算机学院	1	4	1.0	1.0