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.
Originalsprog | Engelsk |
---|---|
Titel | Formal Methods for Industrial Critical Systems : 29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings |
Redaktører | Anne E. Haxthausen, Wendelin Serwe |
Antal sider | 16 |
Forlag | Springer |
Publikationsdato | 2024 |
Sider | 136-151 |
ISBN (Trykt) | 978-3-031-68149-3 |
ISBN (Elektronisk) | 978-3-031-68150-9 |
DOI | |
Status | Udgivet - 2024 |
Begivenhed | 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024 - Milan, Italien Varighed: 9 sep. 2024 → 11 sep. 2024 |
Konference
Konference | 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024 |
---|---|
Land/Område | Italien |
By | Milan |
Periode | 09/09/2024 → 11/09/2024 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 14952 LNCS |
ISSN | 0302-9743 |
Bibliografisk note
Publisher Copyright:© The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.