| SIP协议的形式化分析与验证 |
| |
| 引用本文： | 魏星,隋新.SIP协议的形式化分析与验证[J].桂林航天工业高等专科学校学报,2009,14(1). |
| |
| 作者姓名： | 魏星 隋新 |
| |
| 作者单位： | 1. 挂林电子科技大学,计算机与控制学院,广西,桂林,541004;桂林航天工业高等专科学校,计算机系,广西,桂林,541004
2. 桂林航天工业高等专科学校,计算机系,广西,桂林,541004 |
| |
| 摘 要： | 文章在分析SIP会话交互过程的基础上,用petri网对该过程进行建模,根据petri模型所应具备的特性,通过可达树模型验证了SIP协议具有有界性、活性、公平性和前进性.通过不变量分析,验证了SIP协议具有守恒性和循环性.为协议的改进设计提供了理论依据,从而更好完善SIP协议标准.
|
| 关 键 词： | Petri网 可达树 不变量 |
Analysis and Verification on Formalized Model of SIP Protocol |
| |
| WEI Xing,SUI Xin.Analysis and Verification on Formalized Model of SIP Protocol[J].Journal of Guilin College of Areospace Technology,2009,14(1). |
| |
| Authors: | WEI Xing SUI Xin |
| |
| Abstract: | |
| |
| Keywords: | SIP |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
