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

Formal Verification of the LDACS MAKE Protocol

Mäurer, Nils und Grundner-Culemann, Sophia (2022) Formal Verification of the LDACS MAKE Protocol. In: 34. Krypto-Tag, 2022, 34, Seiten 1-2. Gesellschaft für Informatik e.V.. 34th Crypto Day, 2022, 2022-06-09 - 2022-06-10, Weiden, Deutschland. doi: 10.18420/cdm-2022-34-24.

[img] PDF
160kB

Offizielle URL: https://dl.gi.de/handle/20.500.12116/38746

Kurzfassung

In our talk, we present the first formal verification of the security properties of the updated LDACS 3-pass Mutual Authentication and Key Establishment (MAKE) protocol. This protocol allows AS and GS to establish shared keys via Diffie-Hellman or a Key Encapsulation Mechanism, and to mutually authenticate communication partners in a three-way handshake. There are two variants: (1) The LDACS IKEv2 based 3-pass MAKE protocol and (2) the LDACS ISO/IEC 11770-3:2021 key agreement mechanism 7 based 3-pass MAKE protocol. The verification is done with the Tamarin Prover. We present our approach, point out security features and highlight difficulties in modelling the protocol correctly. Our work supports the on-going design and standardization process of LDACS.

elib-URL des Eintrags:https://elib.dlr.de/187786/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Formal Verification of the LDACS MAKE Protocol
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Mäurer, NilsNils.Maeurer (at) dlr.dehttps://orcid.org/0000-0003-1324-7574NICHT SPEZIFIZIERT
Grundner-Culemann, SophiaSophia.Grundner-Culemann (at) campus.lmu.deNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:10 Juni 2022
Erschienen in:34. Krypto-Tag, 2022
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Band:34
DOI:10.18420/cdm-2022-34-24
Seitenbereich:Seiten 1-2
Verlag:Gesellschaft für Informatik e.V.
Status:veröffentlicht
Stichwörter:LDACS, Formal Verification, Tamarin, Authentication, Key Establishment
Veranstaltungstitel:34th Crypto Day, 2022
Veranstaltungsort:Weiden, Deutschland
Veranstaltungsart:nationale Konferenz
Veranstaltungsbeginn:9 Juni 2022
Veranstaltungsende:10 Juni 2022
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
Institut für Kommunikation und Navigation > Nachrichtensysteme
Hinterlegt von: Mäurer, Nils
Hinterlegt am:23 Aug 2022 16:09
Letzte Änderung:24 Apr 2024 20:49

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.