liu.seSearch for publications in DiVA
121 of 2
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Secure Mobility and Authentication Protocols in Heterogeneous Aviation Data Networks
Linköping University, Department of Computer and Information Science, Cybersecurity. Linköping University, Faculty of Science & Engineering.
2026 (English)Doctoral thesis, comprehensive summary (Other academic)
Abstract [en]

Civil aviation is undergoing a transition towards digital, IP-based air–ground communication systems in order to accommodate increasing air traffic density, improve operational efficiency, and maintain safety-critical services. Within this evolution, technologies such as Controller–Pilot Data Link Communications (CPDLC), the L-band Digital Aeronautical Communications System (LDACS), and the Future Communication Infrastructure (FCI) have become key to enabling continuous data exchange between aircraft and ground systems. Despite their operational benefits, however, these systems do not yet provide security protection in a unified and consistently deployed manner across communication establishment, operational message exchange, and mobility or handover phases. In particular, guarantees related to mutual authentication, key establishment, integrity, confidentiality, and secure mobility management are not uniformly maintained across current air–ground communication environments. As a result, aviation communication systems remain exposed to replay, impersonation, message injection, man-in-the-middle (MITM), session hijacking, and denial-of-service (DoS) attacks, especially during mobility events and handover transitions, thereby posing significant risks to operational safety.

Motivated by these challenges, we develop lightweight, aviation-compatible, and formally verifiable security frameworks in this thesis to secure communication and handover across CPDLC, LDACS, and heterogeneous FCI environments. For CPDLC, the thesis introduces lightweight security mechanisms that provide mutual authentication, session key establishment, and secure handover by using Elliptic Curve Cryptography (ECC), Elliptic Curve Diffie–Hellman (ECDH), Schnorr signatures, and symmetric protection. For LDACS, the thesis strengthens security through lightweight authentication together with post-quantum-resilient key establishment and handover mechanisms. In this framework, Physically Unclonable Functions (PUFs) enable lightweight hardware-bound authentication, while the Bit-Flipping Key Encapsulation (BIKE) mechanism supports post-quantum-secure key establishment. This design reduces reliance on conventional public key infrastructure and supports secure key continuity across intra- and inter-domain scenarios. At the network level, the thesis further introduces a Host Identity Protocol (HIP)-based framework for the FCI to enable secure multi-homing and seamless mobility across heterogeneous links, including LDACS, the Aeronautical Mobile Airport Communications System (AeroMACS), and Satellite Communications (SATCOM).

To ensure that the proposed mechanisms provide rigorous security guarantees suitable for safety-critical aviation environments, the thesis complements framework design with formal security assurance. Symbolic analysis using Tamarin Prover and ProVerif is employed to establish essential properties, including authentication, key secrecy, forward secrecy, and secure handover, under strong adversary models. Overall, this thesis advances the security and robustness of both legacy and nextgeneration aviation communication systems across operational communication and mobility scenarios.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2026. , p. 81
Series
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 2526
National Category
Security, Privacy and Cryptography
Identifiers
URN: urn:nbn:se:liu:diva-223884DOI: 10.3384/9789181185690ISBN: 9789181185683 (print)ISBN: 9789181185690 (electronic)OAI: oai:DiVA.org:liu-223884DiVA, id: diva2:2059517
Public defence
2026-08-19, Ada Lovelace, B Building, Campus Valla, Linköping, 09:15 (English)
Opponent
Supervisors
Available from: 2026-05-12 Created: 2026-05-12 Last updated: 2026-05-12Bibliographically approved
List of papers
1. AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
Open this publication in new window or tab >>AKAASH: A realizable authentication, key agreement, and secure handover approach for controller-pilot data link communications
Show others...
2023 (English)In: International Journal of Critical Infrastructure Protection, ISSN 1874-5482, E-ISSN 2212-2087, Vol. 42, article id 100619Article in journal (Refereed) Published
Abstract [en]

Controller-Pilot Data Link Communications (CPDLC) are rapidly replacing voice-based Air Traffic Control (ATC) communications worldwide. Being digital, CPDLC is highly resilient and bandwidth efficient, which makes it the best choice for traffic-congested airports. Although CPDLC initially seems to be a perfect solution for modern-day ATC operations, it suffers from serious security issues. For instance, eavesdropping, spoofing, man-in-the-middle, message replay, impersonation attacks, etc. Cyber attacks on the aviation communication network could be hazardous, leading to fatal aircraft incidents and causing damage to individuals, service providers, and the aviation industry. Therefore, we propose a new security model called AKAASH, enabling several paramount security services, such as efficient and robust mutual authentication, key establishment, and a secure handover approach for the CPDLC-enabled aviation communication network. We implement the approach on hardware to examine the practicality of the proposed approach and verify its computational and communication efficiency and efficacy. We investigate the robustness of AKAASH through formal (proverif) and informal security analysis. The analysis reveals that the AKAASH adheres to the CPDLC standards and can easily integrate into the CPDLC framework.

Place, publisher, year, edition, pages
ELSEVIER, 2023
Keywords
Authentication, CPDLC, Critical infrastructure, Safety, Security
National Category
Communication Systems Computer Systems Other Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
urn:nbn:se:liu:diva-196595 (URN)10.1016/j.ijcip.2023.100619 (DOI)001040791200001 ()2-s2.0-85164225597 (Scopus ID)
Projects
This work was supported by Trafikverket, Sweden and Luftfartsverket, Sweden under Automation Program II. This work was also partially supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden .
Funder
Swedish Transport AdministrationWallenberg AI, Autonomous Systems and Software Program (WASP)
Note

Funding: Trafikverket, Sweden; Luftfartsverket, Sweden under Automation Program II; Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden

Available from: 2023-08-15 Created: 2023-08-15 Last updated: 2026-05-12
2. A Secure Framework For Controller Pilot Data Link Communications in Aviation Network
Open this publication in new window or tab >>A Secure Framework For Controller Pilot Data Link Communications in Aviation Network
Show others...
2024 (English)In: 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), Institute of Electrical and Electronics Engineers (IEEE), 2024Conference paper, Published paper (Refereed)
Abstract [en]

Controller Pilot Data Link Communications (CPDLC) enhances air traffic communication by replacing traditional voice transmissions with digital messages over Very High Frequency (VHF) radio systems. This transition improves communication resilience by providing clear, text-based instructions that reduce misunderstandings and increase bandwidth efficiency by enabling more data to be transmitted simultaneously. It benefits congested airspace by reducing radio frequency congestion and minimizing communication errors. However, due to the plain-text nature of its messages, CPDLC faces significant security challenges, making it vulnerable to cyber-attacks such as eavesdropping, modification, injection, and man-in-the-middle (MITM) attacks. This vulnerability allows motivated attackers to intercept CPDLC messages using inexpensive devices like Software-Defined Radio (SDR), HACKRF-one, and an antenna. Such breaches can lead to fatal safety incidents, severely impacting passengers and the aviation industry. To address this, we proposed a robust security framework for securing CPDLC communication by implementing critical measures, including mutual authentication, secure key establishment, and handover. The proposed framework has been tested on hardware to verify its effectiveness in practical scenarios, ensuring it aligns with existing CPDLC standards and integrates seamlessly into current systems without impacting operational efficiency. Our findings indicate that the proposed security framework enhances CPDLC's defenses against potential cyber threats while maintaining system performance, making it feasible to protect global air traffic communications.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2024
Series
IEEE/AIAA Digital Avionics Systems Conference, ISSN 2155-7195, E-ISSN 2155-7209
Keywords
Aviation, CPDLC, Handover, Security, VHF
National Category
Communication Systems
Identifiers
urn:nbn:se:liu:diva-209995 (URN)10.1109/DASC62030.2024.10749527 (DOI)001453360400202 ()2-s2.0-85211215823 (Scopus ID)9798350349610 (ISBN)9798350349627 (ISBN)
Conference
AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), 29 Sept-3 Oct 2024, San Diego, CA, USA
Funder
EU, Horizon Europe, 101114635
Note

Funding Agencies|SESAR Joint Undertaking [101114635]

Available from: 2024-11-22 Created: 2024-11-22 Last updated: 2026-05-12Bibliographically approved
3. Enhancing Cybersecurity for LDACS: a Secure and Lightweight Mutual Authentication and Key Agreement Protocol
Open this publication in new window or tab >>Enhancing Cybersecurity for LDACS: a Secure and Lightweight Mutual Authentication and Key Agreement Protocol
Show others...
2023 (English)In: 2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, IEEE , 2023Conference paper, Published paper (Refereed)
Abstract [en]

The aviation industry faces significant challenges due to rising global air travel demand. Frequency saturation in Air Traffic Management (ATM) leads to communication problems, necessitating the enhancement of traditional systems. The Single European Sky ATM Research (SESAR) initiative, backed by the European Commission, aims to digitize ATM, with the L-band Digital Aeronautical Communications System (LDACS) as a key component. LDACS aims to improve communication, enhance surveillance, and optimize airspace usage for safer, more efficient ATM. Although LDACS is protected against most cyberattacks, a critical security objective, anonymity, is currently overlooked. To strengthen LDACS's security, robust authentication mechanisms, Post-Quantum security, and measures to ensure aircraft anonymity are crucial. Therefore, we propose a comprehensive security framework to enhance LDACS's cybersecurity, focusing on mutual authentication and key agreement. The protocol uses Physical Unclonable Function (PUF) for robust mutual authentication and Bit-flipping Key Encapsulation (BIKE) for secure session key establishment utilizing Post-Quantum Cryptography (PQC). This framework ensures anonymity and secure communication between aircraft and ground stations while minimizing message exchange, latency, and data overhead. An informal security analysis confirms our proposed framework's potential to augment the efficiency and security of ATM operations.

Place, publisher, year, edition, pages
IEEE, 2023
Series
IEEE-AIAA Digital Avionics Systems Conference, ISSN 2155-7195, E-ISSN 2155-7209
Keywords
Aviation Cybersecurity; BIKE; LDACS; PUF; Mutual Authentication and Key Exchange (MAKE)
National Category
Communication Systems
Identifiers
urn:nbn:se:liu:diva-200533 (URN)10.1109/DASC58513.2023.10311307 (DOI)001103267600200 ()9798350333572 (ISBN)9798350333589 (ISBN)
Conference
IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), Barcelona, SPAIN, oct 01-05, 2023
Note

Funding Agencies|Trafikverket and Luftfartsverket under Automation Program II; Autonomous Systems and Software Program (WASP)

Available from: 2024-01-30 Created: 2024-01-30 Last updated: 2026-05-12
4. Post Quantum Secure Handover Mechanism for Next Generation Aviation Communication Networks
Open this publication in new window or tab >>Post Quantum Secure Handover Mechanism for Next Generation Aviation Communication Networks
Show others...
2024 (English)In: IEEE Transactions on Green Communications and Networking, E-ISSN 2473-2400, Vol. 8, no 3, p. 939-955Article in journal (Refereed) Published
Abstract [en]

The L-band Digital Aeronautical Communications System (LDACS) is a key advancement for next-generation aviation networks, enhancing Communication, Navigation, and Surveillance (CNS) capabilities. It operates with VHF Datalink mode 2 (VDLm2) and features a seamless handover mechanism to maintain uninterrupted communication between aircraft and ground stations (GSs), improving safety and efficiency in air traffic management (ATM). However, LDACS’ handover process encounters significant security risks due to inadequate authentication and key agreement between aircraft and ground station controllers (GSCs) during handovers. This vulnerability threatens communications’ confidentiality, integrity, and authenticity, posing risks to flight safety and sensitive data. Therefore, developing and implementing a robust security framework to protect aviation communications is essential. In response, we have proposed a security solution specifically designed to protect LDACS handovers. Our solution uses a mutual authentication and key agreement mechanism tailored for LDACS handovers, ensuring robust security for all types of handovers, including Intra GSC - Intra Aeronautical Telecommunication Network (ATN), Inter GSC - Intra ATN, and Inter GSC - Inter ATN. Our approach utilizes post-quantum cryptography to protect aviation communication systems against potential post-quantum threats, such as unauthorized access to flight data, interception of communication, and spoofing of aircraft identity. Furthermore, our proposed solution has undergone a thorough informal security analysis to ensure its effectiveness in addressing handover challenges and offering robust protection against various threats. It seamlessly integrates with the LDACS framework, delivering low Bit Error Rate (BER) and latency levels, making it a highly reliable approach in practice.

Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers (IEEE), 2024
Keywords
Aviation Network, Aviation Security, BIKE, FCI, LDACS
National Category
Electrical Engineering, Electronic Engineering, Information Engineering Communication Systems
Identifiers
urn:nbn:se:liu:diva-206859 (URN)10.1109/tgcn.2024.3417298 (DOI)001302503300012 ()
Funder
Wallenberg AI, Autonomous Systems and Software Program (WASP)Swedish Transport AdministrationEU, Horizon Europe, 101114635
Note

Funding Agencies|Trafikverket, Sweden; Luftfartsverket, Sweden; Wallenberg AI, Autonomous Systems and Software Program (WASP), Sweden; SESAR Joint Undertaking - European Union's [101114635]

Available from: 2024-08-24 Created: 2024-08-24 Last updated: 2026-05-12

Open Access in DiVA

fulltext(8479 kB)105 downloads
File information
File name FULLTEXT01.pdfFile size 8479 kBChecksum SHA-512
dbe9f95b8791cdc3ed56acbe3626816bd293642fd343916db6c6f89397fc2f106b31c1de10756cd5c096a5ba145e01b66411767642f72dce64592d3efa496b2b
Type fulltextMimetype application/pdf
Order online >>

Other links

Publisher's full text

Authority records

Khan, Suleman

Search in DiVA

By author/editor
Khan, Suleman
By organisation
CybersecurityFaculty of Science & Engineering
Security, Privacy and Cryptography

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 600 hits
121 of 2
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf