分层TCPN模型下SIP协议的分析

• 作者: 宋金平 马晓娟
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 验证 触发 死锁 优化
• 年，卷（期）: 2018,（2Z）
• 页码范围: 46-48
• 页数: 3页
• 分类号: TP393.04

摘要

在《电脑知识与技术》2016年9月刊《SIP协议的分层TCPN建模》一文中,作者论述了SIP协议的分层TCPN建模,本文结合若干模型分析技术验证了此协议的正确性。经分析,指出可能出现死锁,并分析了死锁原因。最后针对协议的设计又提出了相应的优化措施。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马晓娟		22	13	2.0	2.0
2	宋金平		14	8	2.0	2.0