Authentication

A Secure Ground Handover Protocol for LDACS

The L-band Digital Aeronautical Communications System (LDACS), the worldwide first true integrated Communication, Navigation and Surveillance (CNS) system, is in the process of being standardized at the International Civil Aviation Organization (ICAO) and the Internet Engineering Task Force (IETF). The cellular system is considered a successor to the 30-years old Very High Frequency (VHF) Datalink mode 2 system (VDLm2) and intended for communications related to the safety and regularity of flight. With the initial rollout planned in the near future, the finalization of all its aspects, including security is of utmost importance. While previous works presented a cybersecurity architecture for LDACS, including a Public Key Infrastructure (PKI), certificates, a Mutual Authentication and Key Establishment (MAKE) procedure, as well as usage of established keys for protecting its user- and control-data plane, the protocol for secure LDACS handovers between cells has not been established. The objective of this work is to present a secure handover procedure for LDACS, fulfilling all security and performance requirements for data- and voice communications via LDACS.

Formal Verification of the LDACS MAKE Protocol

In our talk, we therefore 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 …

A Secure Cell-Attachment Procedure of LDACS

In Europe the Single European Sky air traffic management master plan foresees the introduction of several modern digital data links for aeronautical communications. The candidate for long-range continental communications is LDACS. LDACS is a …

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

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 …

PMAKE: Physical Unclonable Function-based Mutual Authentication Key Exchange Scheme for Digital Aeronautical Communications

Growth of civil air traffic and new entrants into the air transportation sector such as Unmanned AeronauticalVehicles (UAV) pose a great challenge for air traffic management and its supporting Communication, Navigation and …

Cybersecurity for the L-band Digital Aeronautical Communications System (LDACS)

Today's analog voice-based air–ground communication system for tactical aircraft guidance is suffering from the VHF band's increasing saturation in high-density areas. The air–ground communication infrastructure is therefore undergoing digitisation …