期刊文献+

基于广义随机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.
作者 杨鹏 袁占亭 王继曾 YANG Peng, YUAN Zhan-ting, WANG Ji-zeng (1, College of Electrical and Information Engineering, Lanzhou Univ. of Tech., Lanzhou 730050, China; 2. College of Computer and Communication, Lanzhou Univ, of Tech., Lanzhou 730050, China)
出处 《系统仿真学报》 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
  • 相关文献

参考文献11

  • 1Suzuki T, Shatz S M. A protocol modeling and verification approach based on a specification language and Petri nets [J]. Software Engineering, IEEE Transactions on Software Engineering, 1990, 16(5): 523-536. 被引量:1
  • 2Paranjpe R, MengChu Zhou, Jiacun Wang. Petri net modeling and performance analysis of Z39.50 search and retrieval protocol [C]// Systems, Man and Cybernetics, 1997. Computational Cybernetics and Simulation, 1997 IEEE International Conference on. Vol.1, 1997:257-262. 被引量:1
  • 3Blaskovic B. Petri net modeling for signaling protocol synthesis [C]// Electrotechnical Conference, 1998. MELECON 98., 9th Mediterranean Vol.2. 1998:706-710. 被引量:1
  • 4Zhao Jianli, Shang Ruiqiang, Zhao Linliang. Petri Net Model of Multiplex Network Management Protocol and Its Verification [J]. Journal of System Simulation. 2005, 17(7): 1664-1666. 被引量:1
  • 5陈智波,徐明伟,崔勇,徐恪.OSPF协议的随机Petri网模型与性能分析[J].清华大学学报:自然科学版,2006,46(4):572-575. 被引量:3
  • 6Gonzalo Camarillo.SIP DEMYSTIFIED[M].北京:人民邮电出版社,2003. 被引量:1
  • 7黎波涛,罗军舟.不可否认协议的Petri网建模与分析[J].计算机研究与发展,2005,42(9):1571-1577. 被引量:8
  • 8杜彦华,刘春煌,曹松.行车安全综合监控系统的时序Petri网描述及验证[J].铁道学报,2005,27(4):11-15. 被引量:5
  • 9龚正虎编著..计算机网络协议工程[M].长沙:国防科技大学出版社,1993:167.
  • 10袁崇义著..Petri网原理与应用[M].北京:电子工业出版社,2005:285.

二级参考文献39

  • 1Murata M. Petri nets: properties, analysis and applications[J]. Proceedings of the IEEE, 1989,77(4):541-580. 被引量:1
  • 2Stirling C. Model and temporal logics[M]. Oxford: Oxford University Press, 1992. 被引量:1
  • 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. 被引量:1
  • 4Suzuki I. Formal analysis of the alternating bit protocol by temporal Petri nets[J]. IEEE Transactions on Software Engineering, 1990, 16(11):1273-1281. 被引量:1
  • 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. 被引量:1
  • 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. 被引量:1
  • 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. 被引量:1
  • 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. 被引量:1
  • 9S. Kremer, J. F. Raskin. Formal verification of non-repudiation protocols-A game approach. Formal Methods for Computer Security (FMCS 2000), Chicago, USA, 2000. 被引量:1
  • 10M. Abadi, B. Blanchet. Computer-assisted verification of a protocol for certified email. The 10th Int'l Symposium (SAS'03), San Diego, California, 2003. 被引量:1

共引文献11

同被引文献13

  • 1张智江,张云勇,刘韵洁.SIP协议及其应用[M].北京:电子工业出版社,2006. 被引量:10
  • 2Rosenberg J,Schulzrinne H,Camarillo G,et al.RFC 3261,SIP:Session Initiation Protocol[S].Internet Engineering Task Force,2002. 被引量:1
  • 3Jensen K,Kristensen L M.Coloured Petri Nets:Modelling and Validation of Concurrent Systems[M].Berlin:Springer,2009. 被引量:1
  • 4王东敏.基于Petri网的SIP协议一致性测试套的设计与实现[D].北京:北京邮电大学,201. 被引量:1
  • 5陈效庭.基于SIP协议的IP智能网的应用及容灾测试分析[D].上海:上海交通大学,2010. 被引量:1
  • 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. 被引量:1
  • 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. 被引量:1
  • 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. 被引量:1
  • 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. 被引量:1
  • 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

引证文献1

投稿分析
职称考试

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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