An End-to-End Threat Model for the Quantum-as-a-Service Pipeline

Stel je een wereld voor waarin computers niet alleen getallen verwerken met piepkleine schakelaars, maar dansen met het weefsel van de werkelijkheid met behulp van deeltjes die op twee plaatsen tegelijk kunnen zijn. Dit is het domein van quantum computing, een technologie die zo krachtig is dat het belooft problemen op te lossen die de huidige supercomputers duizenden jaren zouden kosten. Maar hier komt de twist: je zult waarschijnlijk niet zelf zo'n machine bezitten. In plaats daarvan leven ze in gigantische, klimaatgestuurde datacenters, en je hebt er toegang toe via het internet, net als een videogame of een streamingdienst. Dit wordt "Quantum-as-a-Service" (QaaS) genoemd. Denk eraan als het huren van een supersnelle, magische keuken om een taart te bakken. Je stuurt je recept (de code) vanaf je eigen computer, de cloudkeuken bakt het op een speciale quantum-oven en stuurt het heerlijke resultaat terug.

Deze magische pijplijn is echter een beetje als een hogesnelheidstrein die door een dozijn verschillende stations rijdt, elk met zijn eigen bewaker, ticketscanner en spoorwissel. Als een dief de ticketscanner kan misleiden, de spoorwissels kan manipuleren of zelfs gewoon naar het rooster kan kijken, kan hij je taart stelen of het recept verpesten voordat het zelfs maar gebakken is. Hoewel wetenschappers al enkele sluwe manieren hebben gevonden om deze systemen binnen te dringen — zoals de oven misleiden door te laten denken dat hij iets anders bakt — hebben ze naar elk station afzonderlijk gekeken. Ze hebben nog geen volledige kaart getekend van hoe een dief van het ene station naar het andere kan springen om maximale chaos te veroorzaken. Dit is precies de puzzel die een team onderzoekers van de Universiteit van Jyväskylä in Finland besloot op te lossen.

Het artikel van Badhon Rahman, Majid Haghparast en Tommi Mikkonen fungeert als het blauwdruk van een meesterdetective voor de gehele reis van een quantumtaak. Ze breken het complexe proces van het versturen van een quantumtaak naar de cloud af in zes afzonderlijke stadia, vergelijkbaar met een estafette met zes hardlopers. Eerst ontwerp je je circuit op je lokale computer (de Developer Environment). Vervolgens log je in en lever je je recept aan (Authentication & Submission). Daarna organiseert de cloud je taak en vertaalt je recept naar een taal die de quantummachine begrijpt (Cloud Orchestration & Compilation). De vierde fase is de eigenlijke bereiding, waarbij de quantumprocessor de taak uitvoert (Quantum Hardware Execution). Daarna worden de resultaten gemeten en opgeruimd (Result Return Path), en tot slot kan het hele proces teruglopen naar het begin met nieuwe instructies (Hybrid Iteration Loop).

Gebruikmakend van een klassieke beveiligingschecklist genaamd STRIDE — wat staat voor Spoofing, Tampering, Repudiation, Information Disclosure, Denial of Service en Elevation of Privilege — brachten de auteurs elke mogelijke manier in kaart waarop een kwaadwillende actor elk van deze zes stadia kan verstoren. Ze hebben niet alleen de bekende trucjes op een rij gezet; ze hebben ze georganiseerd in een kleurrijke matrix. In hun kaart laten oranje cellen aanvallen zien die in de praktijk al bewezen zijn, zoals "QubitHammer" (waarbij een hacker de instellingen van de machine aanpast om je berekening te breken) of "SWAP-aanvallen" (waarbij ze jouw gegevens verwisselen met die van iemand anders). Lichtblauwe cellen vertegenwoordigen "geërfde" aanvallen, dit zijn ouderwetse hacktechnieken die werken op de klassieke computers rondom de quantummachine, zoals het stelen van je inlogwachtwoord. De lichtgroene cellen zijn het meest spannend: dit zijn plausibele maar onderbelichte dreigingen die nog niet volledig zijn onderzocht, zoals "Repudiation" (waarbij een hacker iets doet en vervolgens succesvol ontkent dat hij het ooit heeft gedaan) of "Elevation of Privilege" (waarbij een gebruiker met een laag niveau het systeem misleidt om de sleutels van het koninkrijk te krijgen).

De echte magie van dit artikel ligt echter niet alleen in de lijst met individuele problemen; het is hoe de auteurs de punten verbinden om te laten zien hoe een kleine fout in één stadium een enorme ramp in het hele systeem kan veroorzaken. Ze identificeerden drie specifieke "aanvalsketens" waarbij een dief verschillende trucs kan combineren om ernstige schade aan te richten. Bijvoorbeeld, in "Chain A" zou een hacker eerst kunnen luisteren naar het stroomverbruik van de quantummachine om te achterhalen hoe jouw recept eruit ziet (een side-channel aanval), en vervolgens die geheime kennis gebruiken om een gerichte sabotageaanval op jouw specifieke berekening uit te voeren. In "Chain B" zouden ze publieke informatie over de lay-out van de machine kunnen gebruiken om een verrassingsaanval te plannen zonder eerst jouw recept te zien. Misschien wel het meest vernuftig is "Chain C", die suggereert dat een hacker informatie kan stelen over hoe de cloud recepten vertaalt, die kennis kan gebruiken om een "Trojaans paard" te creëren dat zich binnen het vertaalproces verstopt, en vervolgens jouw taak kan verstoren op een manier die voor het systeem volkomen normaal lijkt.

Door al deze stukjes bij elkaar te brengen, suggereren de auteurs dat we moeten stoppen met het bekijken van quantumbeveiliging als een verzameling geïsoleerde problemen en het moeten gaan zien als een verbonden pijplijn. Ze beweren niet dat ze deze gaten al hebben gedicht, noch zeggen ze dat het systeem gedoemd is. In plaats daarvan bieden ze een gestructureerde manier om het hele plaatje te zien, waarbij ze benadrukken welke gebieden meer onderzoek nodig hebben en hoe verschillende kwetsbaarheden kunnen samenwerken om grotere bedreigingen te vormen. Het is een herinnering dat in de quantumwereld, net als in een spellet met dominostenen, als je de eerste omverwerpt, je precies moet weten hoe de rest zal vallen.