期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于广义随机Petri网的SIP的验证和性能分析 被引量：1

A Generalized Stochastic Petri Net-Based Verification of Session Initiation Protocol and its Performance Analysis
下载PDF
导出
摘要 在给出会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(GSPN),利用广义随机Petri网坚实的数学基础和分析技术完成对会话初始化协议的分析验证和性能分析。通过可达性分析、S_不变量分析和T_不变量分析验证了会话初始化协议的有界性、活性、守恒性和循环性。并且构造出与广义随机Petri模型同构的马尔可夫链,基于马尔可夫链的稳定状态概率进行系统性能分析。对会话初始化协议相关研究以及解决实际问题具有一定的理论价值。 On the basis of the process of Session Initiation Protocol＇s service, generalized stochastic Petri net model of SIP was established. Through the analysis of reachability and invariant the protocol was proved to be boundedness, deadlock free, liveness and conservativeness, Moreover, Markov chain of the model was constructed, In terms of properties of generalized stochastic Petri net and mathematical theory, performance of the protocol is analyzed, which was given to verify the feature of the protocol. This paper was of great academic value to solve the problem of SIP＇s application.
作者 杨鹏 袁占亭 王继曾
机构地区 兰州理工大学电气与信息工程学院 兰州理工大学计算机与通信学院
出处 《系统仿真学报》 CAS CSCD 北大核心 2007年第A01期151-154,157,共5页 Journal of System Simulation
基金 甘肃省自然科学基金(3SZ051-A25-037)
关键词 会话初始化协议 广义随机PETRI网 协议验证 不变量分析 马尔可夫链 性能分析 session initiation protocol （SIP） generalized stochastic petri net （GSPN） protocol verification invariant markov chain performance analysis
分类号 TP393 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献4

二级参考文献41

  • 1Murata M. Petri nets: properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77(4):541-580.
  • 2Stirling C. Model and temporal logics[M]. Oxford: Oxford University Press, 1992.
  • 3Felder M, Mandrioli D, Morzenti A. Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models[J]. IEEE Transactions on Software Engineering, 1994, 20(2):120-152.
  • 4Suzuki I. Formal analysis of the alternating bit protocol by temporal Petri nets[J]. IEEE Transactions on Software Engineering, 1990, 16(11):1273-1281.
  • 5Suzuki I, Lu H. Temporal Petri nets and their application to modeling and analysis of a handshake daisy chain arbiter[J]. IEEE Transactions on Computers, 1989,38(5):696-704.
  • 6Berthomieu B, Diaz M. Modeling and verification of time dependent systems using time Petri nets[J]. IEEE Transactions on Software Engineering, 1991,17(3):259-273.
  • 7G. Norman, V. Shmatikov. Analysis of probabilistic contract signing. In: Proc. BCS-FACS Formal Aspects of Security (FASec'02). New York: Springer-Verlag, 2002. 81～96.
  • 8L. Buttyun, J. P. Pierre Hubaux, S. Capkun. A formal analysis of Syverson' s rational exchange protocol. In: Proc. the 15th IEEE Computer Security Foundations Workshop. Nova Scotia,Canada: Cape Breton, 2002. 24～26.
  • 9S. Kremer, J. F. Raskin. Formal verification of non-repudiation protocols-A game approach. Formal Methods for Computer Security (FMCS 2000), Chicago, USA, 2000.
  • 10M. Abadi, B. Blanchet. Computer-assisted verification of a protocol for certified email. The 10th Int'l Symposium (SAS'03), San Diego, California, 2003.

共引文献15

同被引文献13

  • 1张智江,张云勇,刘韵洁.SIP协议及其应用[M].北京:电子工业出版社,2006.
  • 2Rosenberg J,Schulzrinne H,Camarillo G,et al.RFC 3261,SIP:Session Initiation Protocol[S].Internet Engineering Task Force,2002.
  • 3Jensen K,Kristensen L M.Coloured Petri Nets:Modelling and Validation of Concurrent Systems[M].Berlin:Springer,2009.
  • 4王东敏.基于Petri网的SIP协议一致性测试套的设计与实现[D].北京:北京邮电大学,201.
  • 5陈效庭.基于SIP协议的IP智能网的应用及容灾测试分析[D].上海:上海交通大学,2010.
  • 6Paolo D,Jaume N,Josep M,et al.Interworking Scheme Using Optimized SIP Mobility for Multi Homed Mobile Nodes in Wireless Heterogeneous Networks[C]//Proc.of the IEEE 71st Vehicular Technology Conference.Taipei,China,2010:1-6.
  • 7Boucadair M.Migrating SIP based Conversational Services to IPv6:Complications and Interworking with IPv4[C]// Proc.of the 2nd International Conference on Digital Telecommunications.San Jose,USA,2007:2-3.
  • 8Ding L G,Liu L.Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets[C]//Proc.of 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency.Xi'an,China,2008:132-151.
  • 9Liu L.Verification of the SIP transaction using coloured Petrinet[C]//Proc,of the 32nd Australasian Computer Science Conference.Wellington,New Zealand,2009:75-84.
  • 10Gehlot M.Colored Petri Net model of the Session Initiation Protocol(SIP)[C]//Proc.of 36th Annual Conference on IEEE Industrial Electronics Society.Phoenix,USA,2010:2150-2155.

引证文献1

系统仿真学报
2007年 第A01期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部