SIP协议系统模型的形式化研究

• 作者: 刘润杰 李中华 申金媛 穆维新
• 来源期刊: 现代电子技术
• 关键词: 形式化规范 SIP协议 SDL MSC
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 电子技术
• 页码范围: 151-153,156
• 页数: 4页
• 分类号: TN915
• 语种: 中文
• DOI: 10.3969/j.issn.1004-373X.2009.07.046

摘要

通信协议形式化是提高其可靠性和正确性的重要手段.会话初始协议SIP是软交换的一个主要协议,应用形式化方法研究了SIP协议的结构及系统模型,主要从系统级和功能级上使用形式化规格描述语言SDL和消息顺序图MSC对SIP协议主要系统组件进行形式化描述,得到了SIP协议的形式化规范,并应用形式化方法进行了验证.为SIP协议部件库研究开发提供形式化技术基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	申金媛	郑州大学信息工程学院	51	282	10.0	14.0
2	刘润杰	郑州大学信息工程学院	33	196	8.0	12.0
3	穆维新	郑州大学信息工程学院	17	59	5.0	6.0
4	李中华	郑州大学信息工程学院	3	1	1.0	1.0