Evaluating the Stream Control Transmission Protocol Using Uppaal

Shruti Saini, Ansgar Fehnker

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    88 Downloads (Pure)

    Abstract

    The Stream Control Transmission Protocol (SCTP) is a Transport Layer protocol that has been proposed as an alternative to the Transmission Control Protocol (TCP) for the Internet of Things (IoT). SCTP, with its four-way handshake mechanism, claims to protect the Server from a Denial-of-Service (DoS) attack by ensuring the legitimacy of the Client, which has been a known issue pertaining to the three-way handshake of TCP. This paper compares the handshakes of TCP and SCTP to discuss its shortcomings and strengths. We present an Uppaal model of the TCP three-way handshake and SCTP four-way handshake and show that SCTP is able to cope with the presence of an Illegitimate Client, while TCP fails. The results confirm that SCTP is better equipped to deal with this type of attack.
    Original languageEnglish
    Title of host publicationProceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017
    Subtitle of host publicationUppsala, Sweden, 29th April 2017
    EditorsHolger Hermanns, Peter Höfner
    PublisherEPTCS
    Pages1-13
    Number of pages13
    DOIs
    Publication statusPublished - 2017
    Event2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017 - Uppsala, Sweden
    Duration: 29 Apr 201729 Apr 2017
    Conference number: 2
    http://mars-workshop.org/mars2017/

    Publication series

    NameElectronic Proceedings in Theoretical Computer Science (EPTCS)
    Volume244
    ISSN (Print)2075-2180

    Conference

    Conference2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017
    Abbreviated titleMARS
    CountrySweden
    CityUppsala
    Period29/04/1729/04/17
    Internet address

    Fingerprint Dive into the research topics of 'Evaluating the Stream Control Transmission Protocol Using Uppaal'. Together they form a unique fingerprint.

  • Cite this

    Saini, S., & Fehnker, A. (2017). Evaluating the Stream Control Transmission Protocol Using Uppaal. In H. Hermanns, & P. Höfner (Eds.), Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017 (pp. 1-13). (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 244). EPTCS. https://doi.org/10.4204/EPTCS.244.1