Paper Info
Title
Validating SCTP Simultaneous Open Procedure.
Abstract
The Stream Control Transmission Protocol (SCTP) is a reliable unicast transport protocol originally specified by the Internet Engineering Task Force (IETF) in RFC 2960. After years of implementing and testing, defects and errors in RFC 2960 were reported and later fixed in RFC 4460. Incorporating those suggested fixes, IETF revised the SCTP specification and published RFC 4960, which replaces RFC 2960. Despite of being the revised specification, the descriptions of the simultaneous open and the restart procedures are still unclear and difficult to understand. To clarify this informal specification and gain insights, we formally model and analyse the association management using Coloured Petri Nets. In particular this paper focuses on the Tie-Tag operation and the simultaneous open procedure operating over the simplest channels, First In First Out (FIFO) with no loss. Our analysis reveals errors in which both sides are in ESTABLISHED but the verification tags in both Transmission Control Blocks do not match.
Year
DOI
Venue
2013
10.1007/978-3-642-40213-5_15
Lecture Notes in Computer Science
Keywords
Field
DocType
Coloured Petri Nets,Procedure-based,Verification Tags,Tie-Tags,COOKIE ECHO
Stream Control Transmission Protocol,Petri net,FIFO (computing and electronics),Computer science,Service Location Protocol,Management information base,Augmented Backus–Naur Form,Unicast,Distributed computing,The Internet
Conference
Volume
ISSN
Citations 
8161
0302-9743
1
PageRank 
References 
Authors
0.35
2
1
Name
Order
Citations
PageRank
Somsak Vanit-Anunchai1536.52