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 language | English |
|---|---|
| Title of host publication | Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017 |
| Subtitle of host publication | Uppsala, Sweden, 29th April 2017 |
| Editors | Holger Hermanns, Peter Höfner |
| Publisher | EPTCS |
| Pages | 1-13 |
| Number of pages | 13 |
| DOIs | |
| Publication status | Published - 2017 |
| Event | 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017 - Uppsala, Sweden Duration: 29 Apr 2017 → 29 Apr 2017 Conference number: 2 http://mars-workshop.org/mars2017/ |
Publication series
| Name | Electronic Proceedings in Theoretical Computer Science (EPTCS) |
|---|---|
| Volume | 244 |
| ISSN (Print) | 2075-2180 |
Conference
| Conference | 2nd Workshop on Models for Formal Analysis of Real Systems, MARS 2017 |
|---|---|
| Abbreviated title | MARS |
| Country/Territory | Sweden |
| City | Uppsala |
| Period | 29/04/17 → 29/04/17 |
| Internet address |