Under de senaste åren har säkra meddelanden blivit vanliga, med över en miljard aktiva användare av end-to-end kryptering protokoll såsom Signal. Signalprotokollet ger en stark egenskap som kallas postkompromiss säkerhet till sina användare. Det visar sig dock att många av dess genomföranden ger, utan anmälan, en svagare egenskap för gruppmeddelanden: en motståndare som kompromissar en enda gruppmedlem kan läsa och injicera meddelanden på obestämd tid. Vi visar för första gången att säkerheten efter kompromisser kan uppnås i realistiska, asynkrona gruppmeddelandesystem. Vi presenterar en design som kallas Asynkrona Ratcheting Trees (ART), som använder trädbaserad Diffie-Hellman nyckelutbyte för att tillåta en grupp användare att härleda en delad symmetrisk nyckel även om inga två någonsin är online på samma gång. ART-skalor till grupper som innehåller tusentals medlemmar, men som fortfarande ger bevisbara säkerhetsgarantier. Den har fått ett stort intresse från industrin och utgör grunden för två utkast till regionala fiskeriorganisationer och en chartrad arbetsgrupp. Våra resultat visar att starka säkerhetsgarantier för gruppmeddelanden praktiskt taget går att uppnå i en modern miljö. • Säkerhet och integritet → Säkerhetsprotokoll; Kryptering; Formella metoder och säkerhetsteori; Formella säkerhetsmodeller; Mobil och trådlös säkerhet; KEYWORDS end-to-end kryptering; ART; gruppmeddelanden; träd Diffie-Hellman; säkerhetsprotokoll; beräkningsunderlag; verifiering Tillstånd att göra digitala eller hårda kopior av en del av eller hela detta arbete för personligt eller klassrum används utan avgift, förutsatt att kopior inte görs eller distribueras för vinst eller kommersiell fördel och att kopior bär detta meddelande och den fullständiga citeringen på första sidan. Upphovsrätt till tredje parts delar av detta arbete måste hedras. För all annan användning, kontakta ägaren/författarna. CCS '18, oktober 15-19, 2018, Toronto, ON, Kanada
Asynkrona Ratcheting Trees (ART) REF beskriver en grupp nyckelavtal protokoll med framåt och bakåt-Post Kompromisssäkerhet.
On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
{'venue': "CCS '18", 'journal': None, 'mag_field_of_study': ['Computer Science']}