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.


    Access

    Download


    Export, share and cite



    Title :

    Formal Verification of the LDACS MAKE Protocol


    Contributors:

    Conference:

    2022 ; Weiden, Deutschland


    Published in:

    Publication date :

    2022-06-10



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




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

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | German Aerospace Center (DLR) | 2022

    Free access

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

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | German Aerospace Center (DLR) | 2020

    Free access

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

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | German Aerospace Center (DLR) | 2020

    Free access

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

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | German Aerospace Center (DLR) | 2020

    Free access

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

    Mäurer, Nils / Gräupl, Thomas / Schmitt, Corinna | German Aerospace Center (DLR) | 2020

    Free access