Abstrakt. Senaste avslöjanden av Edward Snowden [PLS13, BBG13, Gre14] visar att en användares egen hårdvara och programvara kan användas mot henne på olika sätt (t.ex. för att läcka sin privata information). Och, en rad senaste tillkännagivanden har visat att utbredda implementationer av kryptografisk programvara ofta innehåller allvarliga fel som lamslår säkerheten (t.ex., [LHA + 12, CVE14b, CVE14a, CVE14c] ). Detta motiverar oss att överväga följande (som verkar absurt) fråga: Hur kan vi garantera en användares säkerhet när hon kan använda en felfunktion eller godtyckligt äventyrad maskin? I detta syfte introducerar vi idén om en kryptografisk omvänd brandvägg (RF). En sådan maskin sitter mellan användarens dator och omvärlden, potentiellt modifiera de meddelanden som hon skickar och tar emot när hon engagerar sig i ett kryptografiskt protokoll. En bra omvänd brandvägg åstadkommer tre saker: (1) det upprätthåller funktionalitet, så att om användarens dator fungerar korrekt, kommer RF inte att bryta funktionaliteten i det underliggande protokollet; (2) det bevarar säkerheten, så att oavsett hur användarens maskin beter sig, närvaron av RF kommer att ge samma säkerhetsgarantier som det korrekt genomförda protokollet; och (3) det motstår exfiltration, så att oavsett hur användarens maskin beter sig, närvaron av RF kommer att förhindra maskinen från att läcka någon information till omvärlden. Viktigt, vi modellerar inte brandväggen som en betrodd part. Den delar inga hemligheter med användaren, och protokollet bör vara både säkert och funktionellt utan brandväggen (när det genomförs korrekt). Vår säkerhetsdefinition för omvända brandväggar beror på säkerhetsbegreppet eller säkerhetsbegreppen i det underliggande protokollet. Som sådan generaliserar vår modell mycket tidigare arbete (t.ex., [OO90, YY96, BBS98, BPR14a]) och ger en allmän ram för att bygga kryptografiska system som förblir säkra när de körs på komprometterad maskin. Det är också en modern syn på ett arbete som fick stor uppmärksamhet på 80- och 90-talen (t.ex. [Sim84, Sim85, BD91, Des90, Des94, BDI + 96, BBS98]). Vi visar att vår definition är uppnåelig genom att bygga en privat funktion utvärdering protokoll med en säker omvänd brandvägg för varje part. Längs vägen designar vi ett oöverträffat överföringsprotokoll som också har en säker RF för varje part, och en rerandomizable förvrängd krets som är både effektivare och säkrare än tidigare konstruktioner. Slutligen visar vi hur man konverterar ett protokoll till ett protokoll med en exfiltrationssäker omvänd brandvägg för alla parter. (Med andra ord ger vi ett generiskt sätt att förhindra att en manipulerad maskin läcker information till en tjuvlyssnare via något protokoll.)
Därför införde Mironov och Stephens-Davidowitz REF begreppet omvänd brandvägg (RF).
Cryptographic Reverse Firewalls
{'venue': 'EUROCRYPT', 'journal': None, 'mag_field_of_study': ['Computer Science']}