Abstrakt. TLS är det viktigaste kryptografiska protokoll som används idag. Hittills finns det dock inga fullständiga kryptografiska säkerhetsbevis i standardmodellen, inte heller i någon annan modell. Vi ger det första sådana bevis för kärnan kryptografiskt protokoll av TLS chiffersuites baserat på efemeral Diffie-Hellman nyckelutbyte (TLS-DHE), som inkluderar chiffer suite TLS DHE DSS med 3DES EDE CBC SHA obligatoriskt i TLS 1.0 och TLS 1.1. Det är omöjligt att bevisa säkerheten för TLS Handshake-protokollet i någon klassisk nyckel-oskiljbarhet-baserad säkerhetsmodell (som till exempel Bellare-Rogaway eller Canetti-Krawczyk-modellen), på grund av subtila problem med krypteringen av de slutliga färdiga meddelandena. Därför börjar vi med att bevisa säkerheten för en trunkerad version av TLS-DHE Handshake-protokollet, som har beaktats i tidigare arbeten på TLS. Då definierar vi begreppet autentiserad och konfidentiell kanal etablering (ACCE) som en ny säkerhetsmodell som fångar exakt de säkerhetsegenskaper som förväntas från TLS i praktiken, och visar att kombinationen av TLS Handshake med datakryptering i TLS Record Layer kan bevisas vara säker i denna modell.
I samtidig arbete, Jager et al. REF syftar till att analysera säkerheten i TLS-protokollet för fallet när den underliggande nyckelbörsen är baserad på en DH-börs.
On the Security of TLS-DHE in the Standard Model
{'venue': 'Advances in Cryptology – CRYPTO 2012', 'journal': 'Advances in Cryptology – CRYPTO 2012', 'mag_field_of_study': ['Computer Science']}