基于时间着色Petri网的SIP协议验证与分析

摘要：

随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题.充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因.提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性.

关键词：SIP、时间着色Petri网、协议验证、死锁分析

所属期刊栏目：41

分类号：TP319(计算技术、计算机技术)

资助基金：国家自然科学基金项目61262017;高校博士学科点专项科研基金20101501110003;内蒙古自然科学基金重点项目20080404Zd20;内蒙古大学高层次人才引进基金

在线出版日期：2014-09-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：122-129