Evaluating the Stream Control Transmission Protocol Using Uppaal

Shruti Saini, Ansgar Fehnker

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

1 Citation (Scopus)
68 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

Transmission control protocol
Servers

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
Saini, Shruti ; Fehnker, Ansgar . / Evaluating the Stream Control Transmission Protocol Using Uppaal. Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. editor / Holger Hermanns ; Peter Höfner. EPTCS, 2017. pp. 1-13 (Electronic Proceedings in Theoretical Computer Science (EPTCS)).
@inproceedings{fc51ab6f51104f189cc97f65638be0ff,
title = "Evaluating the Stream Control Transmission Protocol Using Uppaal",
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.",
author = "Shruti Saini and Ansgar Fehnker",
year = "2017",
doi = "10.4204/EPTCS.244.1",
language = "English",
series = "Electronic Proceedings in Theoretical Computer Science (EPTCS)",
publisher = "EPTCS",
pages = "1--13",
editor = "Holger Hermanns and Peter H{\"o}fner",
booktitle = "Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017",

}

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. Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 244, EPTCS, pp. 1-13, 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017, Uppsala, Sweden, 29/04/17. https://doi.org/10.4204/EPTCS.244.1

Evaluating the Stream Control Transmission Protocol Using Uppaal. / Saini, Shruti; Fehnker, Ansgar .

Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. ed. / Holger Hermanns; Peter Höfner. EPTCS, 2017. p. 1-13 (Electronic Proceedings in Theoretical Computer Science (EPTCS); Vol. 244).

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

TY - GEN

T1 - Evaluating the Stream Control Transmission Protocol Using Uppaal

AU - Saini, Shruti

AU - Fehnker, Ansgar

PY - 2017

Y1 - 2017

N2 - 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.

AB - 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.

U2 - 10.4204/EPTCS.244.1

DO - 10.4204/EPTCS.244.1

M3 - Conference contribution

T3 - Electronic Proceedings in Theoretical Computer Science (EPTCS)

SP - 1

EP - 13

BT - Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017

A2 - Hermanns, Holger

A2 - Höfner, Peter

PB - EPTCS

ER -

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