A Broadcast Authenticated Encryption with Keyword Search in the Standard Model: Tightly Secure in Multi-User, Multi-Challenge Settings
Dit artikel stelt een nieuw nauwgezet veilig Broadcast Authenticated Encryption with Keyword Search (BAEKS)-schema voor in het standaardmodel dat realistische multi-user en multi-challenge instellingen aanpakt, terwijl het sterke hiding- en onvervalsbaarheidseigenschappen waarborgt, naast een efficiënt single-receiver variant en een experimentele evaluatie.
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
In het digitale tijdperk wordt gevoelige informatie vaak opgeborgen in versleutelde kluizen, veilig voor nieuwsgierige ogen maar ook ontoegankelijk voor de mensen die juist specifieke details binnenin moeten kunnen vinden. Stel je een ziekenhuis voor waar patiëntendossiers zijn gecodeerd om de privacy te beschermen; een arts moet een bestand vinden over een specifieke allergie, maar kan niet simpelweg zoeken in de gecodeerde tekst. Om dit op te lossen, hebben cryptografen een systeem ontwikkeld genaamd 'searchable encryption' (doorzoekbare encryptie). Dit stelt een gebruiker in staat om een speciale sleutel te genereren, bekend als een 'trapdoor' (valdeur), die fungeert als een unieke vingerafdruk voor een specifiek trefwoord. Een server die de versleutelde bestanden beheert, kan deze vingerafdruk gebruiken om te controleren of een bestand dat woord bevat, zonder het woord zelf of de inhoud van het bestand ooit te zien. Dit systeem heeft echter een kritiek gebrek: omdat de encryptiesleutels publiek toegankelijk zijn, kan een kwaadwillende actor veelvoorkomende woorden raden, zijn eigen testbestanden aanmaken en deze vergelijken met de trapdoor om het geheime trefwoord te achterhalen via reverse engineering. Dit staat bekend als een 'keyword-guessing attack' (trefwoord-raad-aanval), en het bedreigt de geheimen die het systeem juist bedoeld was te beschermen.
Onderzoekers hebben geprobeerd dit op te lossen door authenticatie te introduceren, waarbij wordt gewaarborgd dat alleen een specifieke afzender een doorzoekbaar bestand kan maken en alleen een specifieke ontvanger erin kan zoeken. Dit evolueerde naar een complexer scenario genaamd 'broadcast authenticated encryption with keyword search', waarbij een enkele afzender bijvoorbeeld een geheim wil delen met een groep geautoriseerde ontvangers, zoals een arts die een diagnose deelt met een team van specialisten. Hoewel eerdere pogingen tot deze technologie enige bescherming boden, schoten ze tekort in realistische, scenario's met hoge inzet. Ze hielden vaak geen rekening met scenario's waarin een aanvaller meerdere gebruikers kan compromitteren of duizenden gelijktijdige gissingen kan doen, en hun beveiligingsbewijzen vertrouwden op wiskundige afkortingen die hen kwetsbaar maakten voor slimme aanvallen. De bestaande oplossingen waren als een slot dat perfect werkte in een testlaboratorium, maar zou kunnen falen als iemand probeerde het te kraken terwijl de deur werd ingetrapt door een menigte.
Een onderzoeker aan het Indian Institute of Technology, Jammu, heeft nu een nieuw construct voorstel gedaan die deze zwakheden rechtstreeks aanpakt. Zij ontwierpen een systeem dat veilig blijft, zelfs wanneer een aanvaller meerdere gebruikers kan corrumperen en een groot aantal gelijktijdige zoekopdrachten op een chaotische, geïnterleerde manier kan uitvoeren. Hun werk introduceert een strikte definitie van beveiliging die ervoor zorgt dat het trefwoord, de identiteit van de afzender en de identiteit van de ontvanger volledig verborgen blijven, zelfs onder de meest agressieve aanvallen. In tegenstelling tot eerdere modellen die vertrouwden op geïdealiseerde aannames, is dit nieuwe schema bewezen veilig in het 'standard model' (standaardmodel), wat betekent dat de veiligheid standhoudt onder realistische wiskundige controle zonder te hoeven vertrouwen op hypothetische 'random oracle'-afkortingen die vaak onder druk bezwijken.
De onderzoeker bouwde hun oplossing met behulp van een specifiek type wiskundige structuur bekend als 'bilinear pairing groups', die fungeren als een complex, meerlagig filter voor gegevens. Zij toonden aan dat hun systeem "tightly secure" (strikt veilig) is, een technische term die betekent dat de beveiligingsgarantie niet afneemt naarmate het aantal gebruikers of het aantal aanvallen toeneemt. In veel oudere systemen wordt de beveiliging zwakker naarmate er meer gebruikers zijn, maar dit nieuwe ontwerp behoudt zijn kracht ongeacht de schaal. Ze bewezen ook dat hun methode voorkomt dat een aanvaller een valse zoeksleutel of een vals versleuteld bestand vervalst, waardoor wordt gegarandeerd dat alleen de echte afzender en ontvanger kunnen deelnemen aan de zoekopdracht.
Om te verifiëren dat hun theoretische ontwerp in de praktijk zou kunnen werken, heeft de onderzoeker het systeem geïmplementeerd op een standaard virtuele machine. Zij voerden experimenten uit met variërende aantallen gebruikers en verschillende groottes van ontvangersgroepen, waarbij alles werd gesimuleerd van een enkele arts die een dossier doorzoekt tot een groot ziekenhuisnetwerk dat gegevens deelt met honderd specialisten. De resultaten toonden aan dat het systeem efficiënt genoeg is voor echt gebruik. Voor een enkele zoekopdracht duurt het proces minder dan een seconde, en zelfs bij het doorzoeken van een groep van honderd mensen blijft de benodigde tijd beheersbaar. De computationele kosten schalen lineair, wat betekent dat naarmate de groep groter wordt, de tijd die nodig is voor het zoeken op een voorspelbare en gestage manier toeneemt, in plaats van onbruikbare vertragingen te veroorzaken.
Dit werk vormt een belangrijke stap voorwaarts in het beveiligen van versleutelde gegevens tegen geraffineerde tegenstanders. Door de beveiligingsdefinities aan te scherpen en een constructie te bieden die standhoudt tegen adaptieve aanvallen, heeft de onderzoeker een robuust instrument geboden voor omgevingen waar privacy essentieel is. Hun bevindingen suggereren dat het mogelijk is om een systeem te hebben waarbij gegevens niet alleen versleuteld zijn, maar ook doorzoekbaar en geauthenticeerd, zonder dat de beveiliging wordt opgeofferd voor gemak of schaalbaarheid. Het artikel concludeert dat hoewel hun huidige implementatie een bewijs van concept is, het de basis legt voor toekomstige systemen die bestand kunnen zijn tegen kwaadwillende actoren die actief proberen de encryptie te breken, waardoor gevoelige informatie echt privé blijft, zelfs in een drukke digitale wereld.
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.