Abstrakt. Vi presenterar läckageEst, ett verktyg som uppskattar hur mycket information läcker från system. För att använda loakiEst, måste en analytiker köra ett system med en rad hemliga värden och registrera utdata som kan utsättas för en angripare. Vårt verktyg uppskattar sedan mängden information som läckt från de hemliga värdena till de observerbara utgångarna i systemet. Viktigt, vårt verktyg beräknar konfidensintervallen för dessa uppskattningar, och testar om de utgör verkliga bevis på en informationsläckage i systemet. LäckageEst är fritt tillgängligt och har använts för att verifiera säkerheten i en rad verkliga system, inklusive e-passportar och Tor. Inledning. Informationsläckage uppstår när något om ett systems hemliga data kan härledas från att observera dess offentliga utgångar. Inte alla informationsläckage är allvarligt: många återförsäljares faktureringssystem lätt "läcka" de sista fyra siffrorna i ett kreditkortsnummer, och lösenordskontroll funktioner "läcka" viss information om ett hemligt lösenord som svar på en felaktig gissning (t.ex. att gissa är inte lösenordet). Informationsläckage är därför kvantitativt och det är viktigt att kunna svara på frågan "hur mycket information läcker ett system?". Informationsteori är en användbar ram för kvantifiering av dessa läckor i system (se t.ex. [9]), och två särskilda åtgärder, ömsesidig information och min-entropi läckage, placera användbara gränser på en angripares förmåga att gissa hemligheterna från de offentliga resultaten. Vårt verktyg, loakiEst, uppskattar dessa läckage åtgärder från dataset som innehåller hemligheter och offentliga resultat som genereras från försökskörningar i ett system. Dess metodik bygger på vårt tidigare arbete som ger rigorösa verifieringsmetoder för att uppskatta informationsläckage [3, 4]; den utför statistiska tester för att skilja ett osäkert system med en mycket liten informationsläckage från en säker en utan läckor. Detta liknar att upptäcka en korrelation mellan två slumpvariabler, ett väl undersökt problem, och vi jämför läckageEsts prestanda med den för befintliga statistiska tester. Om en läcka hittas, läckageEst kan visa den villkorliga sannolikheten att observera varje utdata från systemet med tanke på en viss hemlighet, som kan användas för att härleda en konkret attack mot systemet. Det finns flera verktyg som beräknar mängden information som läcker från ett program (t.ex., [7, 2] ). Dessa verktyg ger snäva gränser, men kräver tillgång till källkoden för programmet och en formalism som är tillräckligt kraftfull för att modellera det underliggande systemet. Dessa krav är ofta oöverkomliga, och
Chothia m.fl. Ref föreslog ett system som kallas läckageEst för att kvantifiera informationsläckage från en observerbar utgång om ett enda hemligt värde.
A Tool for Estimating Information Leakage ⋆
{'venue': 'CAV', 'journal': None, 'mag_field_of_study': ['Computer Science']}