• DocumentCode
    2584735
  • Title

    Effect of Sequence Number Wrap on DCCP Connection Establishment

  • Author

    Vanit-Anunchai, Somsak ; Billington, Jonathan

  • Author_Institution
    University of South Australia
  • fYear
    2006
  • fDate
    11-14 Sept. 2006
  • Firstpage
    345
  • Lastpage
    354
  • Abstract
    This paper investigates the connection establishment procedures of the Datagram Congestion Control Protocol (DCCP) when sequence numbers wrap. A formal executable specification of DCCP connection management is obtained using Coloured Petri Nets. The model includes the synchronization procedure, sequence number wrapping and the algorithm for extending short sequence numbers. We discover that during connection establishment if sequence numbers wrap, it is possible that the attempt to set up the connection fails.
  • Keywords
    Control systems; Data engineering; Delay; Internet; Lakes; Petri nets; Standards development; Systems engineering and theory; Transport protocols; Wrapping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2006. MASCOTS 2006. 14th IEEE International Symposium on
  • ISSN
    1526-7539
  • Print_ISBN
    0-7695-2573-3
  • Type

    conf

  • DOI
    10.1109/MASCOTS.2006.21
  • Filename
    1698566
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2584735