Modelling and Analysis of DTLS: Power Consumption and Attacks

Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen*, Daniel Lux

*Kontaktforfatter

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

Abstract

IoT devices are ubiquitous in modern society. These devices are often constrained by computational power, memory, and energy consumption. DTLS is a protocol that is widely used by IoT devices, including critical industrial IoT systems, as the transport layer for secure and authenticated communication. In this paper we create a formal model of DTLS in Uppaal SMC and show how statistical model checking can be used to analyse, evaluate, and optimise energy consumption for the protocol. In particular we model and analyse different network scenarios, and show how energy consumption is highly dependent on the specific usage scenario. Based on this, we propose and analyse solutions to reduce energy consumption in common scenarios. Finally, we extend our model with an active attacker trying to drain as much energy as possible from the target system by (ab)using DTLS. Analysing and preventing such Denial of Service attacks is essential for critical systems.

OriginalsprogEngelsk
TitelFormal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
RedaktørerAnne E. Haxthausen, Wendelin Serwe
Antal sider16
ForlagSpringer
Publikationsdato2024
Sider136-151
ISBN (Trykt)978-3-031-68149-3
ISBN (Elektronisk)978-3-031-68150-9
DOI
StatusUdgivet - 2024
Begivenhed29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024 - Milan, Italien
Varighed: 9 sep. 202411 sep. 2024

Konference

Konference29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024
Land/OmrådeItalien
ByMilan
Periode09/09/202411/09/2024
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind14952 LNCS
ISSN0302-9743

Bibliografisk note

Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

Fingeraftryk

Dyk ned i forskningsemnerne om 'Modelling and Analysis of DTLS: Power Consumption and Attacks'. Sammen danner de et unikt fingeraftryk.

Citationsformater