期刊文献+

基于广义随机Petri网的SIP的吞吐量性能研究 预览

Research on Throughput of Session Initiation Protocol Based on Generalized Stochastic Petri Net
在线阅读 下载PDF
收藏 分享 导出
摘要 基于模型方法和软件仿真方法,对会话初始化协议(SIP)连接建立时的吞吐量进行了性能分析。首先在详细分析会话初始化协议(SIP)的服务工作过程的基础上,建立了SIP的广义随机Petri网模型(SPN),利用工具SPNP6.0进行了模拟分析。考察协议建立会话过程中,网络建立连接请求数较少和连接请求压力较大时系统吞吐量的变化,从而可以针对不同的连接请求情况实施相应的SIP服务策略。
作者 杨鹏 包广斌 鲁江 YANG Peng,BAO Guang-bin,LU Jiang
出处 《甘肃广播电视大学学报》 2010年第3期 59-62,共4页 Journal of Gansu Radio & TV University
基金 甘肃省自然科学基金(2007GS04107)
作者简介 杨鹏(1981-),男,宁夏吴忠人,博士生,研究方向:协议分析。
  • 相关文献

参考文献10

  • 1Suzuki T,Shatz S.M..A protocol modeling and verification approach based on a specification language and Petri nets[J].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[J].Systems,Man and Cybernetics,1997.Computational Cybernetics and Simulation,1997 IEEE International Conference on.Vol.1,1997,Page(s):257-262. 被引量:1
  • 3Blaskovic B.Petri net modeling for signaling protocol synthesis[J].Electrotechnical Conference,1998.MELECON 98.,9th Mediterranean Vol.2,1998 Page(s):706-710. 被引量:1
  • 4Zhan 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网和系统性能评价 第2版[M].北京:清华大学出版社,2005:368.

二级参考文献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

投稿分析

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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