elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS

Mäurer, Nils und Gentsch, Christoph und Gräupl, Thomas und Schmitt, Corinna (2021) Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS. In: 18th International Conference on Security and Cryptography, SECRYPT 2021, Seiten 603-610. SCITEPRESS Digital Library. 18th International Conference on Security and Cryptography (SECRYPT 2021), 2021-07-06 - 2021-07-08, Virtual. doi: 10.5220/0010580906030610. ISBN ISBN 978-989-758-524-1. ISSN ISSN 2184-7711.

[img] PDF
165kB

Kurzfassung

Aeronautical communications systems are currently undergoing a modernization process. Analogue legacy systems shall be replaced with modern digital alternatives, offering higher bandwidth, increasing capacity and paving the way for Unmanned Aeronautical Vehicles (UAVs). One modern candidate technology is the L-band Digital Aeronautical Communications System (LDACS), enabling long-range safety-critical digital communications between aircraft and ground. As with any modern wireless communications system, LDACS is prone to cyber-attacks. These issues were addressed in former research, where a secure cell-attachment procedure for LDACS, based on a modified Station to Station (STS) Mutual Authentication and Key Establishment (MAKE) protocol, was proposed. However, as of now, its security has not been proven. The contribution of this paper is the formal verification of the executability and security of the LDACS cell-attachment procedure using the symbolic model checker Tamarin. The achieved results proved that the suggested cell-attachment procedure for LDACS is workable and enables secure communication between aircraft and ground.

elib-URL des Eintrags:https://elib.dlr.de/142720/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Mäurer, NilsNils.Maeurer (at) dlr.dehttps://orcid.org/0000-0003-1324-7574NICHT SPEZIFIZIERT
Gentsch, ChristophChristoph.Gentsch (at) dlr.dehttps://orcid.org/0000-0001-7189-3465NICHT SPEZIFIZIERT
Gräupl, Thomasthomas.graeupl (at) dlr.dehttps://orcid.org/0000-0002-7864-774XNICHT SPEZIFIZIERT
Schmitt, Corinnacorinna.schmitt (at) unibw.dehttps://orcid.org/0000-0002-4118-1878NICHT SPEZIFIZIERT
Datum:8 Juli 2021
Erschienen in:18th International Conference on Security and Cryptography, SECRYPT 2021
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Ja
In ISI Web of Science:Ja
DOI:10.5220/0010580906030610
Seitenbereich:Seiten 603-610
Verlag:SCITEPRESS Digital Library
Name der Reihe:Proceedings of the 18th International Conference on Security and Cryptography
ISSN:ISSN 2184-7711
ISBN:ISBN 978-989-758-524-1
Status:veröffentlicht
Stichwörter:Cybersecurity, Authentication, Key Establishment, Symbolic Model, LDACS, Tamarin
Veranstaltungstitel:18th International Conference on Security and Cryptography (SECRYPT 2021)
Veranstaltungsort:Virtual
Veranstaltungsart:internationale Konferenz
Veranstaltungsbeginn:6 Juli 2021
Veranstaltungsende:8 Juli 2021
Veranstalter :SCITEPRESS, Springer
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Luftfahrt
HGF - Programmthema:Luftverkehr und Auswirkungen
DLR - Schwerpunkt:Luftfahrt
DLR - Forschungsgebiet:L AI - Luftverkehr und Auswirkungen
DLR - Teilgebiet (Projekt, Vorhaben):L - Cybersicherheitszentrierte Kommunikation, Navigation und Überwachung
Standort: Oberpfaffenhofen
Institute & Einrichtungen:Institut für Kommunikation und Navigation > Nachrichtensysteme
Institut für Datenwissenschaften > Sichere Digitale Systeme
Hinterlegt von: Mäurer, Nils
Hinterlegt am:14 Jun 2021 13:45
Letzte Änderung:24 Apr 2024 20:42

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.