Abstract
SIP (Session Initiation Protocol) is developed by IETF for creating and managing sessions such as Internet calls. The exchange of SIP messages is controlled by two types of transactions: INVITE transaction for session setup; non-INVITE transaction (NIT) for other purposes, e.g. canceling a session. NIT was identified to have a race condition under which it will fail if a final response by server is not received by the client in time. An update to NIT thus has been proposed by IETF to reduce the risk of NIT losing the race. Although the update has been implemented in some SIP products, no report on the effectiveness of the update has been seen. In this paper, firstly the performance of the update is evaluated by simulation using Coloured Petri Nets (CPNs). The results show that the update does not improve the situation in most cases. Therefore we examine the causes of the losing race problem and propose an improvement to enhance the performance of NIT under the race condition. The analysis suggests that the improvement can effectively alleviate the losing race problem. We hope that this research can contribute to the SIP community and demonstrate the usefulness of CPNs in protocol development.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Handley, M., Schulzrinne, H., Schooler, E., Rosenberg, J.: SIP: Session Initiation Protocol. RFC 2543 (Proposed Standard, obsoleted by RFC 3261), March 1999
Handley, M., Crowcroft, J., Bormann, C., Ott, J.: The Internet Multimedia Conferencing Architecture. Internet Draft (expired), July 2000
3GPP: 3GPP Website - Technologies. http://www.3gpp.org/Technologies. Last accessed 20 Jan 2013
Camarillo, G., García-Martín, M.: The 3G IP Multimedia Subsystem (IMS): Merging the Internet and the Cellular Worlds. Wiley, Chichester (2011)
Rosenberg, J., Schulzrinne, H., Huitema, C., Gurle, C.: Session Initiation Protocol (SIP) Extension for Instant Messaging. RFC 3428, December 2002
Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. RFC 3261 (2002)
Sparks, R.: Actions Addressing Identified Issues with the Session Initiation Protocol’s (SIP) Non-INVITE Transaction. RFC 4320, January 2006
Sparks, R.: Problems Identified Associated with the Session Initiation Protocol’s (SIP) Non-INVITE Transaction. RFC 4321, January 2006
Ahson, S.A., Ilyas, M.: SIP Handbook: Services, Technologies, and Security of Session Initiation Protocol, 1st edn. CRC Press Inc., Boca Raton (2008)
Shi, J., Wang, Y., Gu, L., Li, L., Lin, W., Li, Y., Ji, Y., Zhang, P.: A hierarchical peer-to-peer SIP system for heterogeneous overlays interworking. In: 2007 Global Telecommunications Conference, GLOBECOM 2007, pp. 93–97. IEEE, November 2007
Zheng, X., Oleshchuk, V.: A survey on peer-to-peer SIP based communication systems. Peer-to-Peer Netw. Appl. 3, 257–264 (2010)
Fathi, H., Chakraborty, S., Prasad, R.: Optimization of SIP session setup delay for VoIP in 3G wireless networks. IEEE Trans. Mob. Comput. 5(9), 1121–1132 (2006)
Vidal, I., Garcia-Reinoso, J., Soto, I., Valera, F.: Evaluating extensions to IMS session setup for multicast-based many-to-many services. Comput. Netw. 55(3), 600–621 (2011)
Camarillo, G., Kantola, R., Schulzrinne, H.: Evaluation of transport protocols for the session initiation protocol. Netw. Magzine Glob. Internetworking 17(5), 40–46 (2003)
Gurbani, V.K., Jagadeesan, L.J., Mendiratta, V.B.: Characterizing session initiation protocol (SIP) network performance and reliability. In: Malek, M., Nett, E., Suri, N. (eds.) ISAS 2005. LNCS, vol. 3694, pp. 196–211. Springer, Heidelberg (2005). doi:10.1007/11560333_16
Liao, J., Wang, J., Li, T., Wang, J., Wang, J., Zhu, X.: A distributed end-to-end overload control mechanism for networks of SIP servers. Comput. Netw. 56(12), 2847–2868 (2012)
Pack, S., Park, G., Lee, K., Lee, W.: Analysis of SIP transfer delay in multi-rate wireless networks. IEEE Commun. Lett. 14(10), 918–920 (2010)
Shen, C., Schulzrinne, H.: On TCP-based SIP server overload control. In: Principles, Systems and Applications of IP Telecommunications, IPTComm 2010, pp. 71–83. ACM, New York (2010)
Sisalem, D., Liisberg, M., Rebahi, Y.: A theoretical model of the effects of losses and delays on the performance of SIP. In: 2008 Global Telecommunications Conference, IEEE GLOBECOM 2008, pp. 1–6. IEEE (2008)
Keromytis, A.: A Comprehensive survey of voice over IP security research. IEEE Commun. Surv. Tutorials 14(2), 514–537 (2012). Quarter
Sisalem, D., Floroiu, J., Kuthan, J., Abend, U., Schulzrinne, P.H.: SIP Security. Wiley, Chichester (2009)
Happenhofer, M., Egger, C., Reichl, P.: Quality of signalling: a new concept for evaluating the performance of Non-INVITE SIP transactions. In: 2010 22nd International Teletraffic Congress (ITC), pp. 1–8, September 2010
Wiki, S.: SIPit Summaries. https://www.sipit.net/SIPitSummaries. Last accessed 20 Jan 2013
Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)
Billington, J., Gallasch, G.E., Han, B.: A coloured Petri Net approach to protocol verification. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 210–290. Springer, Heidelberg (2004). doi:10.1007/978-3-540-27755-2_6
Kristensen, L.M., Simonsen, K.I.F.: Applications of coloured Petri Nets for functional validation of protocol designs. In: Jensen, K., Aalst, W.M.P., Balbo, G., Koutny, M., Wolf, K. (eds.) Transactions on Petri Nets and Other Models of Concurrency VII. LNCS, vol. 7480, pp. 56–115. Springer, Heidelberg (2013). doi:10.1007/978-3-642-38143-0_3
Ding, L.G., Liu, L.: Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri Nets. In: Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 132–151. Springer, Heidelberg (2008). doi:10.1007/978-3-540-68746-7_12
Ding, Y., Su, G.: Intrusion detection system for signal based SIP attacks through timed HCPN. In: IEEE Computer Society ARES, pp. 190–197 (2007)
Kizmaz, S., Kirci, M.: Verification of session initiation protocol using timed colored Petri Net. International Journal of Computer Network and Security 4(3), 170–179 (2011)
Liu, L.: Verification of the SIP transaction using coloured Petri Nets. In: The 32nd Australasian Computer Science Conference. CRPIT, vol. 91, pp. 63–72. Australian Computer Society (2009)
Liu, L.: Uncovering SIP vulnerabilities to DoS attacks using coloured Petri Nets. In: International Joint Conference of IEEE TrustCom/IEEE ICESS/FCST, Los Alamitos, CA, USA, pp. 29–36. IEEE Computer Society (2011)
Liu, J., Liu, L.: A coloured Petri Net approach to the functional and performance analysis of SIP Non-INVITE transaction. In: Koutny, M., Haddad, S., Yakovlev, A. (eds.) Transactions on Petri Nets and Other Models of Concurrency IX. LNCS, vol. 8910, pp. 147–177. Springer, Heidelberg (2014). doi:10.1007/978-3-662-45730-6_8
Forrester, J.: Principles of Systems. System Dynamics Series. Productivity Press, Portland (1990)
Billington, J., Vanit-Anunchai, S., Gallasch, G.E.: Parameterised coloured Petri Net channel models. In: Jensen, K., Billington, J., Koutny, M. (eds.) Transactions on Petri Nets and Other Models of Concurrency III. LNCS, vol. 5800, pp. 71–97. Springer, Heidelberg (2009). doi:10.1007/978-3-642-04856-2_4
CPN Group: CPN Tools homepage. http://cpntools.org/start. Last accessed 20 Jan 2013
Kanji, G.K.: 100 Statistical Tests. One Hundred Statistical Tests. SAGE Publications, London (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Liu, J., Liu, L., Chen, T. (2017). Evaluating and Improving SIP Non-INVITE Transaction to Alleviate the Losing Race Problem. In: van der Aalst, W., Best, E. (eds) Application and Theory of Petri Nets and Concurrency. PETRI NETS 2017. Lecture Notes in Computer Science(), vol 10258. Springer, Cham. https://doi.org/10.1007/978-3-319-57861-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-57861-3_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-57860-6
Online ISBN: 978-3-319-57861-3
eBook Packages: Computer ScienceComputer Science (R0)