Abstrakt. Vi presenterar en formalism för analys av nyckelutbyte protokoll som kombinerar tidigare definitionsmetoder och resulterar i en definition av säkerhet som har några viktiga analytiska fördelar: (i) varje nyckel utbyte protokoll som uppfyller säkerhetsdefinitionen kan komponeras med symmetriska krypterings- och autentiseringsfunktioner för att ge bevisligen säkra kommunikationskanaler (som definieras här); och (ii) definitionen tillåter enkla modulära bevis för säkerhet: man kan designa och bevisa säkerheten för nyckelutbyte protokoll i en idealiserad modell där kommunikationslänkar är perfekt autentiserade, och sedan översätta dem med allmänna verktyg för att få säkerhet i den realistiska inställningen av motståndare-kontrollerade länkar. Vi exemplifierar användbarheten av våra resultat genom att tillämpa dem för att få bevis på två klasser av nyckel utbyte protokoll, Diffie-Hellman och nyckel-transport, autentiserade via symmetriska eller asymmetriska tekniker.
Förutom Canetti-Krawczyk-nyckelutbytesmodellen REF för säkerhetsanalys av viktiga utbytesprotokoll har andra modeller och verktyg föreslagits i litteraturen.
Analysis of key-exchange protocols and their use for building secure channels
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}