TUTECH - TAGA: NFC-based key distribution for secure and efficient ground operations

Category

TAGA: NFC-based key distribution for secure and efficient ground operations

„Validation Using Modelling“

The “Validation Using Modelling” project, funded by Airbus via Tutech and led by Prof. Sibylle Fröschle at the Hamburg University of Technology (TUHH), addresses a key challenge in modern airport logistics: secure, certifiable and efficient wireless communication between aircraft and ground vehicles during turnaround. The focus is on the TAGA (“Touch and Go Assistant in the Aerospace Domain”) case study.

To date, many ground-based processes, such as refuelling or air conditioning, are still carried out using paper-based systems or with little digital support. The introduction of machine-to-machine communication via wireless networks promises significant improvements in efficiency, safety and time management. To ensure that this communication remains reliable and confidential, secure key exchange is essential.

The solution: Every aircraft and every ground vehicle is equipped with an NFC reader.

A ground staff member links the two units by touching both devices with a personal NFC card. This initiates a secure, cryptographic key exchange, which forms the basis for encrypted and authenticated data transmission. The method is particularly practical as it integrates seamlessly into existing workflows and requires no additional technology.

A key feature of the project is the formal verification of the security protocols using the Tamarin Prover.

This approach not only tests against individual threat scenarios, but also mathematically verifies security against a wide range of potential attackers. In addition, specific requirements of international airport operations and cyber-physical systems have been taken into account to ensure a high degree of resilience even in the event of partial compromises.

With this approach, TUHH, Airbus and Tutech are laying the foundations for a certifiable, future-proof digitalisation of ground processes in aviation – a boon for efficiency, safety and international competitiveness.