| 基于时间着色Petri网的SIP协议验证与分析 |
| |
| 引用本文： | 刘靖,叶新铭,马元飞. 基于时间着色Petri网的SIP协议验证与分析[J]. 计算机科学, 2014, 41(7): 122-129 |
| |
| 作者姓名： | 刘靖 叶新铭 马元飞 |
| |
| 作者单位： | 内蒙古大学计算机学院 呼和浩特010021;内蒙古大学计算机学院 呼和浩特010021;内蒙古大学计算机学院 呼和浩特010021 |
| |
| 基金项目： | 本文受国家自然科学基金项目(61262017),高校博士学科点专项科研基金(20101501110003),内蒙古自然科学基金重点项目(20080404Zd20),内蒙古大学高层次人才引进基金项目资助 |
| |
| 摘 要： | 随着SIP(Session Initiation Protocol)被3G通信选择为下一代移动网络的会话控制机制,保证SIP协议设计和实现无缺陷、运行稳定可靠成为SIP协议应用过程中亟需研究和解决的关键问题。充分利用时间着色Petri网(Timed Colored Petri Nets,TCPN)在描述和分析具有复杂交互行为及时间约束的系统方面的优势,给出了SIP协议的层次TCPN模型,并集成多种模型分析技术,完成SIP协议设计的正确性验证;同时通过正则表达式完成协议模型的生成路径分析,指出其中存在的死锁状态并分析原因。提出了相应的协议设计改进方案,验证了设计方案的正确性,从而有效增强了SIP协议在实际应用中的可行性和可靠性。
|
| 关 键 词： | SIP 时间着色Petri网 协议验证 死锁分析 |
| 收稿时间： | 2013-04-30 |
| 修稿时间： | 2013-05-30 |
Verification and Analysis of SIP Protocol Based on Timed Colored Petri Nets |
| |
| LIU Jing,YE Xin-ming and MA Yuan-fei. Verification and Analysis of SIP Protocol Based on Timed Colored Petri Nets[J]. Computer Science, 2014, 41(7): 122-129 |
| |
| Authors: | LIU Jing YE Xin-ming MA Yuan-fei |
| |
| Affiliation: | College of Computer Science,Inner Mongolia University,Hohhot 010021,China;College of Computer Science,Inner Mongolia University,Hohhot 010021,China;College of Computer Science,Inner Mongolia University,Hohhot 010021,China |
| |
| Abstract: | |
| |
| Keywords: | SIP Timed colored Petri nets Protocol verification Deadlock analysis |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
