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

Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS

Mäurer, Nils and Gentsch, Christoph and Gräupl, Thomas and Schmitt, Corinna (2021) Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS. In: 18th International Conference on Security and Cryptography, SECRYPT 2021, pp. 603-610. SCITEPRESS Digital Library. 18th International Conference on Security and Cryptography (SECRYPT 2021), 06-08. Jul. 2021, Virtual. doi: 10.5220/0010580906030610. ISBN ISBN 978-989-758-524-1. ISSN ISSN 2184-7711.

[img] PDF
165kB

Abstract

Aeronautical communications systems are currently undergoing a modernization process. Analogue legacy systems shall be replaced with modern digital alternatives, offering higher bandwidth, increasing capacity and paving the way for Unmanned Aeronautical Vehicles (UAVs). One modern candidate technology is the L-band Digital Aeronautical Communications System (LDACS), enabling long-range safety-critical digital communications between aircraft and ground. As with any modern wireless communications system, LDACS is prone to cyber-attacks. These issues were addressed in former research, where a secure cell-attachment procedure for LDACS, based on a modified Station to Station (STS) Mutual Authentication and Key Establishment (MAKE) protocol, was proposed. However, as of now, its security has not been proven. The contribution of this paper is the formal verification of the executability and security of the LDACS cell-attachment procedure using the symbolic model checker Tamarin. The achieved results proved that the suggested cell-attachment procedure for LDACS is workable and enables secure communication between aircraft and ground.

Item URL in elib:https://elib.dlr.de/142720/
Document Type:Conference or Workshop Item (Speech)
Title:Formal Security Verification of the Station-to-Station based Cell-Attachment Procedure of LDACS
Authors:
AuthorsInstitution or Email of AuthorsAuthor's ORCID iD
Mäurer, NilsNils.Maeurer (at) dlr.dehttps://orcid.org/0000-0003-1324-7574
Gentsch, ChristophChristoph.Gentsch (at) dlr.dehttps://orcid.org/0000-0001-7189-3465
Gräupl, Thomasthomas.graeupl (at) dlr.dehttps://orcid.org/0000-0002-7864-774X
Schmitt, Corinnacorinna.schmitt (at) unibw.dehttps://orcid.org/0000-0002-4118-1878
Date:8 July 2021
Journal or Publication Title:18th International Conference on Security and Cryptography, SECRYPT 2021
Refereed publication:Yes
Open Access:Yes
Gold Open Access:No
In SCOPUS:Yes
In ISI Web of Science:Yes
DOI:10.5220/0010580906030610
Page Range:pp. 603-610
Publisher:SCITEPRESS Digital Library
Series Name:Proceedings of the 18th International Conference on Security and Cryptography
ISSN:ISSN 2184-7711
ISBN:ISBN 978-989-758-524-1
Status:Published
Keywords:Cybersecurity, Authentication, Key Establishment, Symbolic Model, LDACS, Tamarin
Event Title:18th International Conference on Security and Cryptography (SECRYPT 2021)
Event Location:Virtual
Event Type:international Conference
Event Dates:06-08. Jul. 2021
Organizer:SCITEPRESS, Springer
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 > Communications Systems
Institute of Data Science > Secure Digital Systems
Deposited By: Mäurer, Nils
Deposited On:14 Jun 2021 13:45
Last Modified:31 Jan 2023 17:31

Repository Staff Only: item control page

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