Abstract
We present a formal approach to modeling Jingle protocol and the related IETF protocols STUN, TURN and ICE using Specification and Description Language (SDL). The aim is to perform a complete unambiguous model for signaling exchange between two WebRTC communicating entities, and study their behavior in real network conditions like the presence of NAT (Network Address Translation) and firewalls. The main objective is to demonstrate the feasibility of using a formal language, such as SDL to model a system as complex as IETF RTCWeb architecture using Jingle as a signaling mechanism.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Javascript Session Establishment Protocol Specification, IETF Internet Draft. V.06 (2015)
Interactive Connectivity Establishment: A Protocol for NAT Traversal for Offer/Answer Protocols Specification, IETF Internet Standard track. RFC 5245 (2010)
Session Traversal Utilities for NAT (STUN), IETF Internet Standard track. RFC 5389 (2008)
Traversal Using Relays around NAT (TURN): Relay Extensions to Session Traversal Utilities for NAT (STUN). IETF Internet Standard track. RFC 5766 (2010)
Chan, K.Y., v. Bochmann, G.: Methods for designing SIP services in SDL with fewer feature interactions. University of Ottawa (2003)
Jingle Specification, XMPP Standard Foundation, Standard Track. XEP-0166 (2008)
Saint-Andre, P., Smith, K., Tronçon, R.: XMPP: The Definitive Guide, Building Real-Time Applications with Jabber, 1st edn., Treseler, M.E. (ed.) O’Reilly Books, New York (2009)
Jingle RTP Session Specification. Standard Track. XEP-0167 (2008)
Jingle RAWUDP Transport Specification. Standard Track. XEP-0177, (2009)
Jingle ICEUDP Transport Specification. Standard Track. XEP-0176 (2009)
RTCWeb JSEP XMPP/Jingle Mapping Specification, IETF Internet Draft. V.02 (2013)
ITU-TS Recommendation Z.100: Specification and Description Language (SDL), International Telecommunication Union, ITU-TS, Geneva, Switzerland (1999)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
El Hamzaoui, A., Bensaid, H., En-Nouaary, A. (2016). A Formal Model for WebRTC Signaling Using SDL. In: Abdulla, P., Delporte-Gallet, C. (eds) Networked Systems. NETYS 2016. Lecture Notes in Computer Science(), vol 9944. Springer, Cham. https://doi.org/10.1007/978-3-319-46140-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-46140-3_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46139-7
Online ISBN: 978-3-319-46140-3
eBook Packages: Computer ScienceComputer Science (R0)