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.


    Zugriff

    Download


    Exportieren, teilen und zitieren



    Titel :

    Formal Verification of the LDACS MAKE Protocol


    Beteiligte:

    Kongress:

    2022 ; Weiden, Deutschland


    Erschienen in:

    Erscheinungsdatum :

    2022-06-10



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    L-band Digital Aeronautical Communications System (LDACS) draft-ietf-raw-ldacs-10

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022

    Freier Zugriff

    L-band Digital Aeronautical Communications System (LDACS) draft-maeurer-raw-ldacs-04

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2020

    Freier Zugriff

    L-band Digital Aeronautical Communications System (LDACS) draft-ietf-raw-ldacs-05

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2020

    Freier Zugriff

    L-band Digital Aeronautical Communications System (LDACS) draft-maeurer-raw-ldacs-00

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019

    Freier Zugriff

    L-band Digital Aeronautical Communications System (LDACS) draft-ietf-raw-ldacs-01

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2020

    Freier Zugriff