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

摘要：

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

关键词：验证、触发、死锁、优化

所属期刊栏目：14

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

资助基金：内蒙古自治区高等学校科学研究项目,项目名称:基于TCPN的SIP协议形式化验证与分析NJZY283;内蒙古自治区高等学校科学研究项目,项目名称:基于云计算的教学资源垂直搜索研究NJZC14291

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

页数：共3页

页码：46-48