Abstract
In recent years, SIP has become an important and widely-used protocol for IP-based multimedia services. Despite voluminous documentation, there is only scattered and informal material explaining the states of the protocol and the events that can occur in each state. To fill this gap, this paper presents a Promela model of invite dialogs in SIP. The model has been verified and validated with the Spin model-checker. The paper discusses the practical value of this model, explains some problems in SIP revealed by it, makes recommendations for solutions, and presents some directions for future work.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bishop, S., Fairbairn, M., Norrish, M., Sewell, P., Smith, M., Wansbrough, K.: Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP and sockets. In: Proceedings of SIGCOMM 2005. ACM, New York (2005)
Camarillo, G.: The early session disposition type for the Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3959 (2004)
Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)
JSR 309: Java media server control. Java Community Process, http://jcp.org/aboutJava/communityprocess/edr/jsr309
Mahy, R., Gurbani, V., Tate, B.: Connection reuse in the Session Initiation Protocol (SIP). Internet Draft draft-ietf-sip-connect-reuse-09 (2008)
Rosenberg, J.: The Session Initiation Protocol (SIP) UPDATE method. IETF Network Working Group Request for Comments 3311 (2002)
Rosenberg, J., Peterson, J., Schulzrinne, H., Camarillo, G.: Best current practices for third party call control in the Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3725 (2004)
Rosenberg, J., Schulzrinne, H.: Reliability of provisional responses in Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3262 (2002)
Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 3261 (2002)
Sparks, R.: Multiple dialog usages in the Session Initiation Protocol. IETF Network Working Group Request for Comments 5057 (2007)
Zave, P.: Audio feature interactions in voice-over-IP. In: Proceedings of the First International Conference on Principles, Systems and Applicatons of IP Telecommunications, ACM SIGCOMM, pp. 67–78 (2007)
Zave, P., Cheung, E.: Compositional control of IP media, IEEE Transactions on Software Engineering (to appear, 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zave, P. (2008). Understanding SIP through Model-Checking. In: Schulzrinne, H., State, R., Niccolini, S. (eds) Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks. IPTComm 2008. Lecture Notes in Computer Science, vol 5310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89054-6_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-89054-6_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89053-9
Online ISBN: 978-3-540-89054-6
eBook Packages: Computer ScienceComputer Science (R0)