Title :
Effect of Sequence Number Wrap on DCCP Connection Establishment
Author :
Vanit-Anunchai, Somsak ; Billington, Jonathan
Author_Institution :
University of South Australia
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;
Conference_Titel :
Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2006. MASCOTS 2006. 14th IEEE International Symposium on
Print_ISBN :
0-7695-2573-3
DOI :
10.1109/MASCOTS.2006.21
