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.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.233-249, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_15〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514670
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:22:15
Dernière modification le : mercredi 26 avril 2017 - 15:26:38
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 13:11:58

Fichier

978-3-642-40213-5_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Somsak Vanit-Anunchai. Validating SCTP Simultaneous Open Procedure. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.233-249, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_15〉. 〈hal-01514670〉

Partager

Métriques

Consultations de la notice

43

Téléchargements de fichiers

39