10.3969/j.issn.2095-6835.2010.21.036
Sip协议的petri网建模及性能验证
sip的petri网模型建立在会话初始协议服务过程的基础之上.通过对petri网性能和可达性树的分析,证明该协议是有效的、无死锁的、活的.此外,考虑到协议的重复性和稳妥性,分析可达性和不变性来验证协议的正确性.该协议的设计思想是减少风险的同时解决sip应用中的问题.
会话初始协议、petri网、可达性树、不变性、协议验证
26
TP301(计算技术、计算机技术)
2014-07-08(万方平台首次上网日期,不代表论文的发表时间)
共3页
92-94