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. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Zave, P. (2008). Understanding SIP through model-checking. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5310 LNCS, pp. 256–279). Springer Verlag. https://doi.org/10.1007/978-3-540-89054-6_13
Mendeley helps you to discover research relevant for your work.