Abstrakt. Beräkningspussel är något svåra beräkningsproblem som kräver resurser (processorcykler, minne, eller båda) att lösa. Puzzles har funnit en mängd olika användningsområden i säkerhet. I detta papper är vi intresserade av klient pussel: en typ av pussel som används som ett försvar mot Förnekelse av Service (DoS) attacker. Innan du engagerar dig i ett resurskrävande protokoll med en klient, kräver en server att klienten löser ett nygenererat klientpussel. Trots deras utbredda användning, bristen på formella modeller för säkerhet av klient pussel förhindrar en fullständig analys av föreslagna pussel och, ännu viktigare, förhindrar rigorösa bevis för effektiviteten av pussel som en DoS försvar. Det viktigaste bidraget i detta dokument är en formell modell för säkerheten i klientpussel som en språngbräda för att lösa ovanstående problem. Vi klargör gränssnittet som klientpussel bör erbjuda och ger två säkerhetsbegrepp för pussel. Både funktionalitet och säkerhet är inspirerade av, och skräddarsydda för, användningen av pussel som ett försvar mot Dos attacker. Den första uppfattningen - pussel oförfalskad - kräver att en motståndare är oförmögen att producera giltiga utseende pussel på egen hand. Den andra uppfattningen - puzzle-svårighet - kräver att en motståndare använder åtminstone en lämplig mängd resurser för att lösa pussel. Våra definitioner fyller en viktig lucka: att bryta någon av de två egenskaperna leder omedelbart till framgångsrika DoS-attacker. Vi illustrerar detta med en attack mot en tidigare föreslagen pusselkonstruktion. Vi visar att en subtil brist gör konstruktionen smidbar och vi förklarar hur man utnyttjar denna brist för att montera en dos attack på vissa protokoll som använder detta pussel. Vi tillhandahåller också en allmän konstruktion av ett klientpussel. Vår konstruktion använder en pseudorandom funktionsfamilj för att ge oförfalskadhet och en enkel funktion för svårigheten. Vi bevisar att vår allmänna konstruktion uppfyller våra definitioner av oförfalskadhet och svårighet för klientpussel. Slutligen diskuterar och analyserar vi (i den slumpmässiga orakelmodellen) en praktisk momentiation av vår konstruktion baserad på hashfunktioner.
I REF, Chen et al. tillhandahålla en formell modell för säkerheten för klient-pussel.
Security Notions and Generic Constructions for Client Puzzles
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}