Tell a friend
Print
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]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
160kB |
Official URL: https://dl.gi.de/handle/20.500.12116/38746
Abstract
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 | ||||||||||||
| Authors: |
| ||||||||||||
| Date: | 10 June 2022 | ||||||||||||
| Journal or Publication Title: | 34. Krypto-Tag, 2022 | ||||||||||||
| Refereed publication: | Yes | ||||||||||||
| Open Access: | Yes | ||||||||||||
| Gold Open Access: | No | ||||||||||||
| In SCOPUS: | No | ||||||||||||
| In ISI Web of Science: | No | ||||||||||||
| Volume: | 34 | ||||||||||||
| DOI: | 10.18420/cdm-2022-34-24 | ||||||||||||
| Page Range: | pp. 1-2 | ||||||||||||
| Publisher: | Gesellschaft für Informatik e.V. | ||||||||||||
| Status: | Published | ||||||||||||
| 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
