loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
14th IEEE International Symposium on Modeling, Analysis, and Simulation
Effect of Sequence Number Wrap on DCCP Connection Establishment
Monterey, CA
September 11-September 14
ISBN: 0-7695-2573-3
ASCII Text
x 
 
Somsak Vanit-Anunchai, Jonathan Billington, "Effect of Sequence Number Wrap on DCCP Connection Establishment," Modeling, Analysis, and Simulation of Computer Systems, International Symposium on, pp. 345-354, 14th IEEE International Symposium on Modeling, Analysis, and Simulation, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MASCOTS.2006.21,
author = {Somsak Vanit-Anunchai and Jonathan Billington},
title = {Effect of Sequence Number Wrap on DCCP Connection Establishment},
journal ={Modeling, Analysis, and Simulation of Computer Systems, International Symposium on},
volume = {0},
year = {2006},
issn = {1526-7539},
pages = {345-354},
doi = {http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2006.21},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Modeling, Analysis, and Simulation of Computer Systems, International Symposium on
TI - Effect of Sequence Number Wrap on DCCP Connection Establishment
SN - 1526-7539
SP345
EP354
A1 - Somsak Vanit-Anunchai,
A1 - Jonathan Billington,
PY - 2006
KW - null
VL - 0
JA - Modeling, Analysis, and Simulation of Computer Systems, International Symposium on
ER -
 
Somsak Vanit-Anunchai, University of South Australia
Jonathan Billington, University of South Australia
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.
Citation:
Somsak Vanit-Anunchai, Jonathan Billington, "Effect of Sequence Number Wrap on DCCP Connection Establishment," mascots, pp.345-354, 14th IEEE International Symposium on Modeling, Analysis, and Simulation, 2006
Usage of this product signifies your acceptance of the Terms of Use.