miun.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Formal security analysis of LoRaWAN
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationssystem och –teknologi.
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationssystem och –teknologi.
Polytechnic of Porto (IPP), Porto, Portugal.
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationssystem och –teknologi.ORCID-id: 0000-0003-0873-7827
2019 (engelsk)Inngår i: Computer Networks, ISSN 1389-1286, E-ISSN 1872-7069, Vol. 148, s. 328-339Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

Recent Low Power Wide Area Networks (LPWAN) protocols are receiving increased attention from industry and academia to offer accessibility for Internet of Things (IoT) connected remote sensors and actuators. In this work, we present a formal study of LoRaWAN security, an increasingly popular technology, which defines the structure and operation of LPWAN networks based on the LoRa physical layer. There are previously known security vulnerabilities in LoRaWAN that lead to the proposal of several improvements, some already incorporated into the latest protocol specification. Our analysis of LoRaWAN security uses Scyther, a formal security analysis tool and focuses on the key exchange portion of versions 1.0 (released in 2015) and 1.1 (the latest, released in 2017). For version 1.0, which is still the most widely deployed version of LoRaWAN, we show that our formal model allowed to uncover weaknesses that can be related to previously reported vulnerabilities. Our model did not find weaknesses in the latest version of the protocol (v1.1), and we discuss what this means in practice for the security of LoRaWAN as well as important aspects of our model and tools employed that should be considered. The Scyther model developed provides realistic models for LoRaWAN v1.0 and v1.1 that can be used and extended to formally analyze, inspect, and explore the security features of the protocols. This, in turn, can clarify the methodology for achieving secrecy, integrity, and authentication for designers and developers interested in these LPWAN standards. We believe that our model and discussion of the protocols security properties are beneficial for both researchers and practitioners. To the best of our knowledge, this is the first work that presents a formal security analysis of LoRaWAN.

sted, utgiver, år, opplag, sider
2019. Vol. 148, s. 328-339
Emneord [en]
IoT, LoRaWANS, cyther verification
HSV kategori
Identifikatorer
URN: urn:nbn:se:miun:diva-35145DOI: 10.1016/j.comnet.2018.11.017ISI: 000458345100027Scopus ID: 2-s2.0-85057039918OAI: oai:DiVA.org:miun-35145DiVA, id: diva2:1269488
Prosjekter
SMART (Smarta system och tjänster för ett effektivt och innovativt samhälle)Tilgjengelig fra: 2018-12-10 Laget: 2018-12-10 Sist oppdatert: 2019-10-16bibliografisk kontrollert

Open Access i DiVA

fulltext(705 kB)765 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 705 kBChecksum SHA-512
d99a42ab0d86464c7bdb5517873cbbf35c62377e03e804a74bc7b0443149a556c220e52df57a7068edff0ec61cc34039a8f543936a47deb02a334844d49bbd3d
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Eldefrawy, MohamedButun, IsmailGidlund, Mikael

Søk i DiVA

Av forfatter/redaktør
Eldefrawy, MohamedButun, IsmailGidlund, Mikael
Av organisasjonen
I samme tidsskrift
Computer Networks

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 765 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 469 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf