I kölvattnet av den senaste tidens avslöjanden av massregeringsövervakning, har säkra meddelandeprotokoll blivit föremål för förnyad granskning. En utbredd svaghet i befintliga lösningar är bristen på starka förnekande egenskaper som gör det möjligt för användare att rimligen förneka att skicka meddelanden eller delta i samtal om säkerheten i deras kommunikation senare äventyras. Deniable autentiserade nyckelutbyten (DAKES), de kryptografiska protokoll som ansvarar för att tillhandahålla denibilitet i säkra meddelandeprogram, kan för närvarande inte ge alla önskvärda egenskaper samtidigt. Vi introducerar två nya DAKES med påvisbara säkerhets- och förnekelseegenskaper i ramverket Generalized Universal Composability. Vårt primära bidrag är införandet av Spawn, den första icke-interaktiva DAKE som erbjuder framåt sekretess och uppnår förnekelse mot både offline och online domare; Spawn kan användas för att förbättra förnekelse egenskaper hos den populära TextSecure säkra meddelandeprogram. Vi introducerar också ett interaktivt dubbelmottagare kryptosystem som kan förbättra prestandan hos den enda befintliga interaktiva Dake med konkurrenskraftiga säkerhetsegenskaper. För att uppmuntra till adoption genomför och utvärderar vi våra systems prestanda samtidigt som vi enbart förlitar oss på standardmodellernas antaganden.
Nyligen studerade Unger och Goldberg deniable autentiserad nyckelutbyte (DAKE) i samband med säkra meddelanden REF.
Deniable Key Exchanges for Secure Messaging
{'venue': "CCS '15", 'journal': None, 'mag_field_of_study': ['Computer Science']}