License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/OASIcs.FSFMA.2013.3
URN: urn:nbn:de:0030-drops-40846
URL: https://drops.dagstuhl.de/opus/volltexte/2013/4084/
Go to the corresponding OASIcs Volume Portal


Vanit-Anunchai, Somsak

Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures

pdf-format:
4.pdf (0.8 MB)


Abstract

The simultaneous-open procedure of the Datagram Congestion Control Protocol (DCCP), RFC 5596, was published in September 2009. Its design aims to overcome DCCP weaknesses when the Server is behind a middle box, such as Network Address Translators or firewalls. The original DCCP specification, RFC 4340, only allows the Client to initiate the call. The call request cannot reach the Server behind the middle box. A widely used solution to address this problem is called the hole punching technique. This technique requires the Server to initiate sending packets. Using Coloured Petri Nets (CPN) this paper models and analyses the DCCP procedure specified in RFC 5596. However, the difficulty is that detailed modelling of the address translation is also required. This causes state space explosion. We alleviate the state explosion using prioritized transitions and the sweep-line technique. Modelling and analysis approaches are discussed in the hope that it is helpful for others who wish to analyse similar protocols. Analysis results are also obtained for the simultaneous-open procedure specified in RFC 5596.

BibTeX - Entry

@InProceedings{vanitanunchai:OASIcs:2013:4084,
  author =	{Somsak Vanit-Anunchai},
  title =	{{Analysis of Two-Layer Protocols: DCCP Simultaneous-Open and Hole Punching Procedures}},
  booktitle =	{1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)},
  pages =	{3--17},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-56-9},
  ISSN =	{2190-6807},
  year =	{2013},
  volume =	{31},
  editor =	{Christine Choppy and Jun Sun},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/4084},
  URN =		{urn:nbn:de:0030-drops-40846},
  doi =		{10.4230/OASIcs.FSFMA.2013.3},
  annote =	{Keywords: Network Address Translators, Coloured Petri Nets, Sweep-line Method, Prioritized Transitions}
}

Keywords: Network Address Translators, Coloured Petri Nets, Sweep-line Method, Prioritized Transitions
Collection: 1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013)
Issue Date: 2013
Date of publication: 14.07.2013


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI