分层TCPN模型下SIP协议的分析
在《电脑知识与技术》2016年9月刊《SIP协议的分层TCPN建模》一文中,作者论述了SIP协议的分层TCPN建模,本文结合若干模型分析技术验证了此协议的正确性.经分析,指出可能出现死锁,并分析了死锁原因.最后针对协议的设计又提出了相应的优化措施.
验证、触发、死锁、优化
14
TP311(计算技术、计算机技术)
内蒙古自治区高等学校科学研究项目,项目名称:基于TCPN的SIP协议形式化验证与分析NJZY283;内蒙古自治区高等学校科学研究项目,项目名称:基于云计算的教学资源垂直搜索研究NJZC14291
2018-04-25(万方平台首次上网日期,不代表论文的发表时间)
共3页
46-48