Understanding SIP through model-checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5310 LNCS, Issue , 2008, Pages 256-279

  Zave, Pamela ^a  

^a AT AND T LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; MULTIMEDIA SERVICES; NEXT GENERATION NETWORKS;

PROMELA MODELS; SPIN MODELS;

INTERNET PROTOCOLS;

EID: 57349088245     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89054-6_13     Document Type: Conference Paper

References (12)

1. 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)
2. Camarillo, G.: The early session disposition type for the Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3959 (2004)
3. Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)
4. JSR 309: Java media server control. Java Community Process, http://jcp.org/aboutJava/communityprocess/edr/jsr309
5. Mahy, R., Gurbani, V., Tate, B.: Connection reuse in the Session Initiation Protocol (SIP). Internet Draft draft-ietf-sip-connect-reuse-09 (2008)
6. Rosenberg, J.: The Session Initiation Protocol (SIP) UPDATE method. IETF Network Working Group Request for Comments 3311 (2002)
7. 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)
8. Rosenberg, J., Schulzrinne, H.: Reliability of provisional responses in Session Initiation Protocol (SIP). IETF Network Working Group Request for Comments 3262 (2002)
9. 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)
10. Sparks, R.: Multiple dialog usages in the Session Initiation Protocol. IETF Network Working Group Request for Comments 5057 (2007)
11. 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)
12. Zave, P., Cheung. E.: Compositional control of IP media, IEEE Transactions on Software Engineering (to appear, 2008)