⚡ electrical engineering

Evaluating Future Air Traffic Management Security

Dit artikel analyseert de kwetsbaarheden van PUF-gebaseerde authenticatie voor het LDACS-systeem, zoals het risico op voorspelling, quantumcomputers en veroudering, en stelt de Public Key Infrastructure (PKI) voor als een robuust alternatief voor de toekomstige beveiliging van luchtverkeersleiding.

Oorspronkelijke auteurs: Konstantinos Spalas

Gepubliceerd 2026-04-07

📖 4 min leestijd☕ Koffiepauze-leesvoer

CC BY 4.0

Oorspronkelijke auteurs: Konstantinos Spalas

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

🛫 De Toekomst van Vliegen: Een Nieuw Slot voor de Luchthaven

Stel je voor dat vliegtuigen en de verkeersleiding op de grond tegenwoordig nog praten via een oude, ruisende radio. Het is alsof je probeert te fluisteren in een drukke fabriekshal: er is veel lawaai, en iedereen kan meeluisteren. Om dit veiliger en rustiger te maken, willen ze overstappen op een digitaal systeem genaamd LDACS. Dit is als het vervangen van die oude radio door een beveiligde, digitale videoverbinding.

Maar hoe zorg je dat niemand zich voordeed als een vliegtuig of de verkeersleiding? Dat is waar dit onderzoek over gaat.

1. Het Nieuwe Systeem: De "Vingerafdruk" van de Chip

De auteurs kijken naar een nieuw idee voor beveiliging: PUF (Physical Unclonable Function).

De Analogie: Stel je voor dat elke computerchip in een vliegtuig een unieke, onherhaalbare vingerafdruk heeft. Omdat chips in de fabriek altijd een heel klein beetje anders worden gemaakt (door stofdeeltjes of temperatuur), is geen enkele chip exact hetzelfde.
Hoe het werkt: Als de verkeersleiding een vraag stelt (een "uitdaging"), geeft de chip een uniek antwoord (een "vingerafdruk"). Dit lijkt heel veilig, want je kunt deze vingerafdruk niet kopiëren. Het is alsof je een slot hebt dat alleen opent met de exacte vorm van jouw hand, die je niet kunt namaken.

2. Het Probleem: De Hackers met de "Glazen Bol"

Het onderzoek toont aan dat dit systeem toch kwetsbaar is. Er zijn twee grote bedreigingen:

De Slimme Computer (Machine Learning):
Hackers hoeven niet per se de chip te stelen. Ze kunnen een computerprogramma trainen dat de "vingerafdruk" van de chip voorspelt.
- De Vergelijking: Stel je voor dat je een sleutel hebt die een heel specifiek patroon heeft. Een hacker neemt duizenden foto's van de sleutel en leert een computer om het patroon te herkennen. Uiteindelijk kan de computer de sleutel nabouwen in software, zonder de echte sleutel ooit te hebben gezien. In dit paper blijkt dat computers al 98% van de antwoorden van de chip kunnen raden.
De Krachtige Quantum-computer:
In de toekomst komen er computers die veel sneller rekenen dan nu (quantum-computers).
- De Vergelijking: Normaal moet je een slot openen door elke sleutel uit een doos van een miljoen te proberen (duizenden jaren werk). Een quantum-computer is als een tovenaar die in één keer ziet welke sleutel past. Dit maakt de huidige beveiliging waardeloos.

3. Het Verouderingsprobleem: De Rots die Korst

Er is nog een probleem: Ouderdom.

De Vergelijking: Net als menselijke huid verandert, verandert ook de "vingerafdruk" van de chip na verloop van tijd. Door hitte en gebruik verandert het patroon een beetje.
Het Gevolg: Als de vingerafdruk te veel verandert, herkent het slot de eigenaar niet meer. Het vliegtuig kan dan niet meer communiceren, alsof je je huisdeur niet meer open krijgt omdat je hand een beetje anders is geworden. Dit maakt het systeem onbetrouwbaar.

4. Het Oplossingsvoorstel: De Digitale Paspoortdienst

Omdat de "vingerafdruk-chip" (PUF) te makkelijk te voorspellen is en te snel veroudert, stellen de auteurs een ander systeem voor: PKI met Post-Quantum Cryptografie.

De Vergelijking: In plaats van te vertrouwen op een fysiek kenmerk van de chip, geven ze elk vliegtuig en de toren een digitaal paspoort dat wordt uitgegeven door een vertrouwde instantie (een certificeringsautoriteit).
Waarom beter?
1. Veilig tegen Quantum: Ze gebruiken een nieuw soort wiskunde die zelfs voor de krachtigste quantum-computers onoplosbaar is.
2. Stabiel: Het hangt niet af van de fysieke staat van de chip, dus het werkt ook als het vliegtuig oud is.
3. Bewezen: Dit systeem (PKI) werkt al jarenlang veilig voor banken en overheden.

Conclusie

Het paper zegt eigenlijk: "Het idee om vliegtuigen te beveiligen met een unieke chip-vingerafdruk klinkt geweldig, maar hackers kunnen die vingerafdruk voorspellen en de chip wordt te snel oud. Laten we daarom teruggrijpen naar een bewezen, digitaal paspoortsysteem dat zelfs bestand is tegen de supercomputers van de toekomst."

Het doel is simpel: zorgen dat vliegen in de toekomst niet alleen sneller is, maar vooral veilig blijft.

Titel: Evaluatie van de Beveiliging van Toekomstig Luchtverkeersbeheer: PUF vs. PKI

Auteur: Konstantinos Spalas (MSc in Computer Science)
Context: 1e DIT Student Conference, Universiteit van de Peloponnesos, Tripoli (11 juni 2025).

1. Probleemstelling

Huidige communicatie tussen vliegtuigen en de verkeersleiding (ATC) maakt gebruik van analoge RF-signalen. Dit systeem kampt met twee grote problemen:

Frequentiecongestie: De toenemende drukte op radiofrequenties, vooral op drukke luchthavens, vereist een upgrade naar digitale communicatie.
Cyberveiligheid: Bestaande systemen zijn kwetsbaar voor cyberaanvallen.

Als oplossing introduceert het Single European Sky ATM Research (SESAR) het LDACS (L-Band Digital Aviation Communication System). Een recente voorstellen voor LDACS beveiliging maakt gebruik van Physical Unclonable Functions (PUF) voor authenticatie. Het doel van dit onderzoek is om de veiligheid van deze PUF-gebaseerde authenticatiemethode te evalueren en potentiële kwetsbaarheden bloot te leggen.

2. Methodologie

De auteur analyseert een specifiek authenticatieprotocol voor LDACS dat gebaseerd is op PUFs. De analyse omvat de volgende stappen:

Protocolanalyse: Het registratie- en authenticatieproces wordt onderzocht. Tijdens de registratie (offline) worden cryptografische attributen gedeeld. De toren bewaart een ICAO-adres, een uitdaging ( $C$ ), een respons ( $R$ ) en een hash-waarde ( $\tau$ ). Het vliegtuig slaat $\tau$ en $\theta$ op.
Aanvalssimulatie (Method 1 - Machine Learning): De auteur onderzoekt of geavanceerde ML-algoritmen, specifiek CMA-ES (Covariance Matrix Adaptation Evolution Strategy), in staat zijn om het gedrag van PUFs te voorspellen. Als een model de relatie tussen uitdaging ( $C$ ) en respons ( $R$ ) kan leren, kan een aanvaller de geheime attributen reconstrueren.
Aanvalssimulatie (Method 2 - Quantum Computing): De auteur evalueert de impact van quantumcomputers op de beveiliging. Met name het Grover-algoritme wordt gebruikt om de complexiteit van het vinden van een pre-image (het vinden van de oorspronkelijke respons $R$ uit de hash $\tau$ ) te reduceren.
Fysieke Degradatie: Er wordt gekeken naar het effect van veroudering (aging) van PUF-hardware op de stabiliteit van het authenticatiesysteem.

3. Belangrijkste Bijdragen en Resultaten

De studie identificeert drie kritieke kwetsbaarheden in het voorgestelde PUF-systeem:

A. Kwetsbaarheid voor ML-aanvallen (CMA-ES)

Hoewel PUFs uniek zijn, blijken ze vatbaar voor modellering.

Resultaat: Geavanceerde modellen zoals CMA-ES kunnen het gedrag van PUFs voorspellen met een nauwkeurigheid van 98%.
Gevolg: Bij een respons van 128 bit betekent een foutmarge van 2% slechts 2 bit-flips. Het aantal mogelijke permutaties om deze fouten te corrigeren ( $P(128, 2) \approx 16.000$ ) is triviaal voor klassieke computers. Een aanvaller kan zo een zoektabel opbouwen met de paren $(C, R)$ en de geheime hash $\tau$ ontcijferen, wat leidt tot impersonatie-aanvallen.

B. Kwetsbaarheid voor Quantum-aanvallen

Huidige cryptografische methoden in het protocol zijn niet bestand tegen toekomstige quantumcomputers.

Resultaat: Het gebruik van het Grover-algoritme reduceert de complexiteit van een brute-force zoektocht naar de respons $R$ (die 128 bit is) van $O(2^{128})$ naar $O(2^{64})$ of zelfs lager ( $O(2^{42})$ in specifieke scenario's).
Gevolg: Dit maakt het voor een quantumcomputer haalbaar om de verborgen respons $R$ te achterhalen en de authenticatie te doorbreken binnen een redelijke tijdsduur.

C. Veroudering (Aging)

Resultaat: PUFs ondergaan fysieke veroudering, wat de stabiliteit van de respons beïnvloedt. Studies tonen aan dat veroudering met ongeveer 19% per twee jaar toeneemt.
Gevolg: Dit kan leiden tot instabiliteit in de authenticatie, waardoor het systeem onbetrouwbaar wordt of zelfs niet meer beschikbaar is (denial of service).

4. Conclusie en Voorstel

De auteur concludeert dat PUFs, ondanks hun aantrekkelijke eigenschappen voor hardware-authenticatie, niet voldoende robuust zijn voor de kritieke infrastructuur van LDACS. De dreiging van zowel geavanceerde machine learning (voor klassieke computers) als toekomstige quantumcomputers, gecombineerd met fysieke veroudering, vormt een te groot risico.

Het voorgestelde alternatief:
In plaats van PUFs wordt een Public Key Infrastructure (PKI) gebaseerd op Post-Quantum Cryptography (PQC) voorgesteld.

Dit systeem zou een vertrouwde certificeringsautoriteit (CA) betrekken tussen het vliegtuig en de toren.
PQC biedt weerstand tegen zowel klassieke ML-aanvallen als quantum-aanvallen.
Het biedt een meer betrouwbare, veilige en toekomstbestendige oplossing voor de authenticatie in het luchtverkeersbeheer.

5. Significantie

Dit paper is van groot belang voor de ontwikkeling van het toekomstige Europese luchtverkeersbeheer (SESAR/LDACS). Het waarschuwt voor de valkuilen van het blindelings vertrouwen in hardware-gebaseerde authenticatie (PUF) zonder rekening te houden met de snelle vooruitgang in rekenkracht (AI en Quantum). Het pleit voor een proactieve verschuiving naar Post-Quantum Cryptografie om de veiligheid van de luchtvaartcommunicatie op lange termijn te garanderen.