Cloak: Heuristic ORAM Optimization Through Fixed Temporal Distribution
Cloak is een onwetend opslagsysteem dat de ORAM-prestaties aanzienlijk verbetert door gebruik te maken van temporele localiteit om een vaste, recentheidsgebaseerde verkeerspatroon te volgen, waarmee bijna-baseline overheads worden bereikt terwijl de beveiligingsgaranties behouden blijven.
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
Stel je voor dat je een zeer veilig, privé dagboek hebt dat je in een cloudopslagkluis bewaart. Je wilt ervoor zorgen dat zelfs de persoon die het gebouw bezit (de cloudprovider), als hij nieuwsgierig is, niet kan achterhalen waarover je schrijft, alleen al door te kijken wanneer je de kluis opent en welke pagina's je omdraait.
Dit is het probleem dat ORAM (Oblivious Random Access Memory) probeert op te lossen. Het is als een magisch systeem waarbij elke keer als je om een specifieke pagina vraagt, het systeem stiekem ook een hoop andere willekeurige pagina's pakt, zodat de gebouweigenaar niet kan zeggen welke je eigenlijk wilde.
Het probleem met oude systemen:
De oude manier om dit te doen, is als een bibliothecaris die, elke keer als je om een boek vraagt, elk enkel boek in de bibliotheek eruit haalt en ze allemaal door elkaar schudt. Het is ongelooflijk veilig, maar ook pijnlijk traag en duur. Als je een miljoen boeken hebt, moet de bibliothecaris een miljoen boeken verplaatsen om er maar één aan je te geven. Daarom zijn deze systemen nog niet veel in de echte wereld gebruikt.
"Cloak" komt opdagen: De slimme bibliothecaris
De auteurs van dit artikel hebben een nieuw systeem gebouwd dat Cloak heet. In plaats van te proberen de bibliothecaris te laten lijken alsof hij boeken volledig willekeurig pakt (wat moeilijk en traag is), maakt Cloak gebruik van een truc gebaseerd op hoe mensen zich eigenlijk gedragen.
De "Hete Koffie" Analogie
Denk aan je ochtendkoffieroutine.
- Je pakt je favoriete mok van de bovenste plank.
- Je pakt de koffiebonen uit hetzelfde potje.
- Je pakt de lepel uit dezelfde la.
Je doet dit elke dag. In de wereld van data noemen we dit temporale localiteit: dingen die je recent hebt gebruikt, worden waarschijnlijk binnenkort weer gebruikt.
Oude beveiligingssystemen probeerden te doen alsof je willekeurige items pakte van de bodem van het potje, de top van de plank en de achterkant van de voorraadkast, alleen maar om je gewoontes te verbergen. Dit vereiste veel nep-"dummy"-reizen naar de voorraadkast om het willekeurig te laten lijken.
Hoe Cloak werkt:
Cloak verandert de regels. Het zegt: "Oké, we weten dat je meestal dingen van de bovenste plank pakt. Laten we het er dus op laten lijken dat de bibliothecaris altijd dingen van de bovenste plank pakt, ongeacht waar je eigenlijk om vroeg."
- Het vaste patroon: Het systeem stelt een schema op waarbij de bibliothecaris altijd een specifiek aantal items pakt uit de stapel "recent gebruikt" en een paar uit de stapel "ouder". Dit patroon is vast en bekend bij iedereen, inclusief de nieuwsgierige gebouweigenaar.
- Opvullen van de gaten:
- Als je eigenlijk om een "recent" item vroeg, pakt de bibliothecaris het en legt het in de "recent"-stapel van het vaste patroon.
- Als je om een "oud" item vroeg, pakt de bibliothecaris nog steeds een "recent" item om het patroon hetzelfde te laten lijken, maar hij pakt ook je "oude" item en wisselt het stiekem in.
- Als het patroon 10 items vereist en je vroeg er maar om 2, pakt de bibliothecaris 8 willekeurige "dummy"-items om de mand gewoon vol te maken.
- Het resultaat: Omdat het echte leven vol zit met "recente" verzoeken (zoals je koffiemok), hoeft de bibliothecaris zelden die dummy-items te pakken. Het systeem draait bijna even snel alsof er geen beveiliging was.
Waarom het veilig is
Het artikel betoogt dat, hoewel de bibliothecaris een voorspelbaar patroon volgt (altijd pakken van de bovenste plank), de specifieke items waar je om vroeg, nog steeds verborgen blijven.
- Voor de gebouweigenaar zien ze gewoon een mand met 10 items uit de "recent"-stapel.
- Ze weten niet welke 10 items je eigenlijk wilde.
- Cruciaal is dat het systeem niet uitmaakt of je gewoontes veranderen. Als je plotseling begint met het pakken van items van de bodem van het potje, werkt het systeem nog steeds; het vult de mand gewoon met meer dummy-items om het patroon consistent te houden. De beveiliging breekt niet; het wordt gewoon een heel klein beetje trager.
De resultaten
De auteurs hebben Cloak getest met real-world data, zoals Netflix-kijkgeschiedenis en Ethereum-blockchain-transacties.
- Snelheid: Het was bijna even snel als een onveilig systeem (slechts ongeveer 10% trager).
- Vergelijking: Het was 2 tot 7 keer sneller dan de beste bestaande beveiligde systemen (zoals Treebeard) en 4 tot 6 keer sneller dan andere "snelle maar minder veilige" systemen (zoals Waffle).
- Doorvoer: Op één computer kon het meer dan 160.000 bewerkingen per seconde verwerken.
In het kort
Cloak is een beveiligingssysteem dat stopt met proberen perfect willekeurig te zijn. In plaats daarvan omarmt het het feit dat wij mensen voorspelbaar zijn. Door een beveiligingssysteem te ontwerpen dat er uitziet alsof het onze natuurlijke gewoontes volgt, verbergt het onze geheimen veel efficiënter dan systemen die proberen tegen die gewoontes in te gaan. Het is als het dragen van een camouflagepak dat perfect bij je omgeving past, in plaats van te proberen een pak te dragen dat eruitziet als een hele andere omgeving.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.