💻 computer science

Three Axes of Quantum Risk: A Unified Observability Model for PQC, QKD, and Crypto-Agility

Dit artikel introduceert een verenigd drie-assig observabiliteitsmodel voor kwantumrisico dat activa evalueert op basis van algoritmische weerstand, kanaalbescherming en crypto-agility, ondersteund door een open-source implementatie (Sezar) en empirische validatie over TLS-, QKD- en agility-scenario's om de beperkingen van huidige single-axis ontdekkingsinstrumenten aan te pakken.

Oorspronkelijke auteurs: Aleaddin Ozer, Murat Aydos

Gepubliceerd 2026-07-07

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Aleaddin Ozer, Murat Aydos

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (https://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

Stel je voor dat je de kapitein bent van een enorme vloot schepen (de digitale bezittingen van je bedrijf) die naar een stormachtige horizon zeilt. De storm is een "Quantumcomputer" die, zodra deze arriveert, bijna alle sloten op de lading van je schepen zal kunnen breken.

Een tijdlang stelden beveiligingsexperts een simpele vraag: "Is jouw slot gemaakt van het nieuwe, stormbestendige metaal?" (Dit is het controleren of je gebruikmaakt van Post-Quantum Cryptografie, of PQC).

Maar de auteurs van dit artikel, Aleaddin Ozer en Murat Aydos, beargumenteren dat deze vraag te simpel is. Ze zeggen dat het hebben van een nieuw slot alleen niet genoeg is. Je moet naar drie verschillende zaken kijken om echt te weten of je veilig bent. Zij noemen dit de "Drie Assen van Quantumrisico."

Hier is de uitsplitsing met alledaagse analogieën:

De Drie Assen van Risico

1. As A: Het Slot Zelf (Algoritmische Weerstand)

De Analogie: Is je deur gemaakt van hout of staal?
Het Punt van het Papier: Dit controleert de eigenlijke wiskunde achter je encryptie. Is het het oude, zwakke hout (zoals RSA) dat een quantumcomputer gemakkelijk kan verbrijzelen? Of is het het nieuwe, supersterke staal (de nieuwe NIST-standaarden zoals ML-KEM)?
De Catch: Zelfs als je het beste stalen slot hebt, maakt het niet uit als de deur wagenwijd openstaat.

2. As C: De Vrachtwagen (Kanaalbescherming)

De Analogie: Hoe is de sleutel bij het slot gekomen?
Het Punt van het Papier: Soms, zelfs als je een sterk slot hebt, werd de sleutel die gebruikt wordt om het te openen via een risicovolle methode geleverd.
- Klassieke Levering: De sleutel werd via een gewone, publieke weg verzonden waar iedereen hem zou kunnen stelen.
- QKD Levering (Quantum Key Distribution): De sleutel werd verzonden via een "magische teleporter" (gebruikmakend van natuurkunde) die het onmogelijk maakt om de sleutel te stelen zonder dat dit opgemerkt wordt.
Het Inzicht: Twee schepen kunnen exact hetzelfde stalen slot hebben (As A), maar het ene schip heeft zijn sleutels via een beveiligde teleporter ontvangen (As C = Hoog), terwijl het andere schip sleutels heeft ontvangen via een dief op een fiets (As C = Laag). Zij bevinden zich in totaal verschillende gevarenzones.

3. As G: De Snelheid van Verandering (Crypto-Agility)

De Analogie: Als de storm morgen erger wordt, hoe snel kun je je slot vervangen?
Het Punt van het Papier: Dit meet hoe gemakkelijk het is om je beveiliging te upgraden.
- Agile (Wendbaar): Je kunt het slot vervangen door een schakelaar om te zetten of een configuratiebestand aan te passen (zoals een instelling op je telefoon wijzigen).
- Frozen (Bevroren): Het slot is in de romp van het schip gelast. Om het te veranderen, moet je het schip opensnijden en de hele motor vervangen (hardwarevervanging).
Het Inzicht: Als je een zwak slot hebt, maar je kunt het binnen 5 minuten vervangen voor een sterk slot, dan ben je veiliger dan iemand met een sterk slot dat op zijn plaats is gelast, omdat je je problemen kunt oplossen voordat de storm toeslaat.

De "Deadline" Factor

Het papier introduceert een score genaamd q(asset, t). Denk aan dit als een "Gevarenmeter" die verandert op basis van tijd.

Vandaag: Als je een zwak slot hebt maar het direct kunt veranderen (Hoge Agility), is je gevarenmeter laag. Je hebt tijd om het te repareren.
De Deadline (bijv. 2030): Naarmate de storm dichterbij komt, doet je "vermogen om te veranderen" er minder toe. Als de deadline morgen is, maakt het niet uit dat je het slot in 5 minuten zou kunnen vervangen; je hebt geen tijd meer. De gevarenmeter schiet omhoog.

De Tool: "Sezar"

Om al deze drie dingen tegelijkertijd te meten, bouwden de auteurs een tool genaamd Sezar.

De Detective: Sezar is als een inspecteur van de vloot die rond je schepen loopt.
De Drie Scanners:
1. Het kijkt naar het Slot (het scant je software om te zien welke wiskunde het gebruikt).
2. Het controleert de Vrachtwagen (het maakt verbinding met je Quantum Key Distribution-systemen om te zien of sleutels veilig worden geleverd).
3. Het test de Schakelaar (het scant je code om te zien of je instellingen gemakkelijk kunt aanpassen of dat je vastzit).
Het Dashboard: Het geeft je een enkele score voor elk schip, die je vertelt welke schepen onmiddellijke aandacht nodig hebben.

Wat Ze Eigenlijk Hebben Gevonden (De Resultaten)

De auteurs hebben niet alleen deze theorie gebouwd; ze hebben het getest in drie echte experimenten:

De Webscan: Ze hebben de top 1.000 websites op het internet gescand. Ze ontdekten dat hoewel ongeveer 44% van deze websites de nieuwe "stalen sloten" (PQC) zou kunnen gebruiken, de scan niet kon aangeven of die sites de "magische teleporter" (QKD) gebruikten of dat ze hun sloten snel konden veranderen. Dit bewees dat kijken naar slechts één ding (het slot) een onvolledig beeld geeft.
De Simulatie: Ze bouwden een nep Quantum Key Distribution-systeem (een simulator) om te testen hoe hun tool omgaat met verbroken verbindingen. Ze ontdekten dat Sezar correct het verschil kon aangeven tussen een "slechte verbinding" en een "totaal falen", zelfs wanneer verschillende onderdelen van het systeem anders reageerden.
De Code Check: Ze testten hun "Snelheid van Verandering"-scanner tegen 11 populaire open-source softwareprojecten. Het identificeerde correct of de software gemakkelijk te updaten was of "bevroren" was in 91% van de gevallen.

De Kern van de Zaak

Het artikel betoogt dat we moeten stoppen met de vraag: "Is jouw crypto quantum-veilig?" en moeten beginnen met de vraag: "Wat is jouw Slot, hoe wordt jouw Sleutel Geleverd, en hoe Snel kun je het veranderen?"

Door naar alle drie de assen samen te kijken, kunnen operators hun werk beter prioriteren. Ze kunnen de schepen repareren die zowel zwak als moeilijk te repareren zijn, in plaats van tijd te verspillen aan schepen die weliswaar zwak zijn maar makkelijk te repareren, of schepen die sterk zijn maar geen sleutels hebben.

Noot: Het artikel beweert niet dat deze tool de quantumdreiging zelf oplost, noch beweert het alle cybersecurityproblemen op te lossen. Het biedt simpelweg een betere manier om het risico te meten en te prioriteren, zodat mensen betere beslissingen kunnen nemen.

Technisch Overzicht: Drie Assen van Kwantumrisico

1. Probleemstelling

De migratie naar post-kwantum cryptografie is verschoven van onderzoek naar operationele noodzaak, gedreven door de finalisering van NIST's FIPS 203/204/205 en de NSA's CNSA 2.0-deadlines (2025–2033). De huidige instrumenten voor cryptografische observabiliteit kampen echter met een kritieke beperking: ze beantwoorden slechts één vraag voor elk activum: "Is de primitief post-kwantum (PQ) resistent?"

Deze eenassige benadering faalt in het vastleggen van het volledige kwantumrisicoprofiel omdat:

Kanaalbescherming wordt genegeerd: Twee activa met identieke algoritmen (bijv. ECDSA-P256) hebben zeer verschillende risicoprofielen als de één opereert over een onbeschermde verbinding en de ander over een Quantum Key Distribution (QKD) verbinding.
Crypto-agiliteit is onzichtbaar: Een activum dat een klassiek algoritme gebruikt dat via configuratie kan worden gewijzigd, bevindt zich in een andere risicostaat dan een activum waarbij het algoritme hard-coded in de firmware zit. Huidige tools brengen "migratie-agiliteit" niet in kaart als een primaire telemetrie-metriek.
Gebrek aan verenigde modellering: PQC en QKD worden in de literatuur vaak behandend als wederzijds uitsluitende alternatieven, terwijl operators een verenigd model nodig hebben om omgevingen te beoordelen waar hybride implementaties de realiteit zijn.

Gevolgelijk kunnen operators niet accuraat antwoord geven op de vraag "Kunnen we tegen de tijd PQ-klaar zijn?" omdat zij een verenigd overzicht missen van algoritmische resistentie, kanaalsecurity en migratiesnelheid.

2. Methodologie

De auteurs stellen een Drie-Assen Kwantum-Risicoprofiel Model voor dat risico behandelt als een multidimensionaal observatieprobleem. Elk activum wordt beoordeeld op drie onafhankelijke assen, die vervolgens worden samengevoegd tot een enkele, deadline-gecorrigeerde score, $q(asset, t)$.

De Drie Assen

As A (Algoritmische Resistentie): Beoordeelt de cryptografische primitieven op een schaal van [0, 1].
- 1.0: PQ-resistent (bijv. ML-KEM, ML-DSA).
- 0.9: PQ-hybride (bijv. X25519 + ML-KEM).
- 0.3: Klassiek (bijv. RSA-2048, ECDSA).
- 0.0: Verouderd/Gebroken (bijv. SHA-1, RC4).
- Scores worden gewogen op basis van rol (signatuur, sleuteluitwisseling, encryptie, hash).
As C (Kanaalbescherming): Beoordeelt het sleutelleveringsmechanisme op een schaal van [0, 1].
- 1.0: Alleen QKD.
- 0.7: QKD-Hybride PSK (uit QKD afgeleide sleutels gebruikt in hybride modi).
- 0.0: Alleen klassiek.
- Deze as houdt rekening met link-degradatie (bijv. hoge Quantum Bit Error Rate) door de score evenredig te verlagen.
As G (Migratie-agiliteit): Beoordeelt het vermogen om primitieven te wijzigen op een schaal van [0, 1].
- 1.0 (Onderhandelbaar): Algoritme wordt per sessie gekozen (bijv. TLS 1.3).
- 0.75 (Configureerbaar): Wijzigbaar via een configuratiebestand.
- 0.50 (Vastgelegd/Pinned): Hard-coded in de broncode, wijzigbaar via een software-upgrade.
- 0.20 (Verankerd/Locked): Vastgelegd in firmware of FIPS-gevalideerde modules.
- 0.0 (Bevroren/Frozen): Vastgelegd in silicium/ROM.
De Verenigde Score
De model berekent een deadline-gecorrigeerde risicoscore $q(asset, t)$:
$q(asset, t) = 1 - (\alpha \cdot A + \beta \cdot C + \gamma(\tau) \cdot G)$
Waarbij $\tau$ de "deadline spanning" vertegenwoordigt (hoe dicht de huidige datum $t$ bij de deadline $D$ van de operator ligt). Naarmate de deadline nadert, krimpt het gewicht $\gamma$ dat aan agiliteit wordt toegekend, wat weerspiegelt dat een hoge agiliteit minder vergevensgezind is wanneer de tijd beperkt is. Een BLOCKED vlag wordt geplaatst voor activa met een lage agiliteit die niet op tijd gemigreerd kunnen worden, ongeacht hun huidige score.

Implementatie: Sezar

De auteurs hebben Sezar geïmplementeerd, een open-source observabiliteitsplatform in Rust, om dit model te operationaliseren. Belangrijke componenten zijn:

Schema Extensie: De crypto_inventory_event v1 schema uitgebreid met channel_protection en agility velden.
Vijf Agents:
1. sezar-net: eBPF-gebaseerde TLS/SSH/IPsec observatie.
2. sezar-qkd: ETSI GS QKD 014 collector en een synthetische KME emulator voor testen.
3. sezar-agility: Statische scanner met Semgrep-regels om broncode en binaries te analyseren op agiliteitsniveaus.
4. sezar-cert: X.509 inventaris via CT-logs en host-scans.
5. sezar-chain: Publieke blockchain observatie.
Rollup Engine: Een pure functie die events incingeert en de verenigde score berekent op basis van door de operator geconfigureerde gewichten en deadlines.

3. Belangrijkste Bijdragen

Het Drie-Assen Model: Een formeel kader dat algoritmische resistentie, kanaalbescherming en migratie-agiliteit scheidt, waarbij erkend wordt dat PQC en QKD complementaire observeerbare grootheden zijn.
Schema Extensie: Een strikt additieve update van de crypto_inventory_event schema (v1.1) die interoperabele telemetrie voor QKD en agiliteit mogelijk maakt.
Sezar Referentie-implementatie: Een volledige, open-source stack (agents, collector, dashboard) die eBPF netwerkobservatie, REST-gebaseerde QKD-telemetrie en statische code-analyse verenigt.
QKD Emulator: Een ETSI GS QKD 014 Key Management Entity (KME) emulator die het mogelijk maakt voor beoefenaars om QKD-bewuste software te testen zonder fysieke hardware.
Agiliteit Rubriek & Corpus: Een vijf-niveau ordinaal scoreingsysteem dat wordt geoperationaliseerd via een Semgrep-regelpack, gevalideerd tegen een handmatig beoordeelde ground-truth corpus van 50 open-source serverprojecten.

4. Empirische Resultaten

Het paper valideert het model via drie reproduceerbare studies:

Studie 1 (As A - Tranco Top-1k):
- Scande 724 responsieve hosts uit de Tranco top-1k.
- Resultaat: 43,8% van de hosts onderhandelde een hybride PQ key exchange (X25519MLKEM768) wanneer dit werd aangeboden. Echter, 16,9% onderhandelde nog steeds TLS 1.2 (structureel PQ-ongeschikt) en de certificaat-signatuurverdeling bleef RSA-dominant (64,9%).
- Inzicht: Single-axis scans missen de structurele beperkingen (TLS-versie) en het gebrek aan certificaat-agiliteit.
Studie 2 (As C - QKD Emulator):
- Testte het systeem tegen 13 geïnduceerde staatsovergangen in vijf faalscenario's (steady-state, degradatie, harde fout, verouderde PSK, bifurcated SAE).
- Resultaat: 13/13 staatsovergangen werden correct geclassificeerd. Het systeem maakte correct onderscheid tussen link-niveau fouten en per-sessie attributieproblemen (bijv. één SAE die faalt terwijl een andere slaagt).
- Inzicht: Telemetrie op link-niveau alleen is onvoldoende; per-sessie attributie is vereist om kanaalbescherming accuraat te scoren.
Studie 3 (As G - Agility Pilot):
- Vergelijkt de sezar-agility scanner met handmatig beoordeelde ground truth voor een subset van 11 projecten uit de 50-projecten corpus.
- Resultaat: 91% overeenstemming (10/11 projecten). De enige afwijking betrof chrony, waarbij statische bewijslast tussen "configureerbaar" en "vastgelegd" ambigu was.
- Inzicht: Statische analyse kan een aanzienlijke overeenstemming bereiken met menselijke beoordeling, hoewel de dekking in het Go-ecosysteem (aanvankelijk ontbrekende crypto/tls patronen) regel-updates vereiste.

5. Betekenis en Claims

Het paper claimt dat de "single-bit" PQ-gereedheidsmetriek onvoldoende is voor operators die geconfronteerd worden met 2030–2033 deadlines. De betekenis van dit werk ligt in:

Holistische Risicobeoordeling: Het demonstreert dat het risico van een activum niet alleen gaat over het algoritme dat het gebruikt, maar ook over hoe de sleutels worden geleverd en hoe snel het algoritme kan worden vervangen.
Operationele Haalbaarheid: Het bewijst dat een verenigd observabiliteitsmodel dat PQC, QKD en agiliteit dekt, gebouwd kan worden met commodity hardware en open-source tools, zonder dat daarvoor propriëtaire commerciële stacks nodig zijn.
Actiegerichte Prioritering: Door drie assen samen te voegen tot een deadline-gecorrigeerde score, stelt het model operators in staat om migratie-inspanningen te prioriteren op basis van een realistische "tijd-tot-oplossing" in plaats van enkel op "huidige kwetsbaarheid".
Reproduceerbaarheid: De auteurs bieden het volledige schema, de emulator, de regelsets en de ground-truth corpus aan, waarmee zij de gemeenschap uitnodigen om de scoring-constanten en gewichten te verifiëren, bekritiseren en te verfijnen, in plaats van de absolute waarheid te accepteren.

De auteurs stellen expliciet dat het model niet de economische of politieke beperkingen van migratie oplost, maar de noodzakelijke telemetrielayer biedt om deze beslissingen geïnformeerd te nemen. De bijdrage is het model en de tooling, niet de specifieke numerieke scores, die bedoeld zijn om door de operator configureerbaar te zijn.