DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Formal Verification of the LDACS MAKE Protocol

Mäurer, Nils and Grundner-Culemann, Sophia (2022) Formal Verification of the LDACS MAKE Protocol. In: 34. Krypto-Tag, 2022, 34, pp. 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

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


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.

Item URL in elib:https://elib.dlr.de/187786/
Document Type:Conference or Workshop Item (Speech)
Title:Formal Verification of the LDACS MAKE Protocol
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Mäurer, NilsUNSPECIFIEDhttps://orcid.org/0000-0003-1324-7574UNSPECIFIED
Date:10 June 2022
Journal or Publication Title:34. Krypto-Tag, 2022
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In ISI Web of Science:No
Page Range:pp. 1-2
Publisher:Gesellschaft für Informatik e.V.
Keywords:LDACS, Formal Verification, Tamarin, Authentication, Key Establishment
Event Title:34th Crypto Day, 2022
Event Location:Weiden, Deutschland
Event Type:national Conference
Event Start Date:9 June 2022
Event End Date:10 June 2022
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:Air Transportation and Impact
DLR - Research area:Aeronautics
DLR - Program:L AI - Air Transportation and Impact
DLR - Research theme (Project):L - Cyber-Security Centric Communication, Navigation and Surveillance
Location: Oberpfaffenhofen
Institutes and Institutions:Institute of Communication and Navigation
Institute of Communication and Navigation > Communications Systems
Deposited By: Mäurer, Nils
Deposited On:23 Aug 2022 16:09
Last Modified:24 Apr 2024 20:49

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.