Vi studerar säkerheten för det brett utplacerade nyckelavtalet Secure Session Layer/Transport Layer Security (TLS). Vår analys identifierar, rättfärdigar och utnyttjar modulariteten som finns i utformningen av protokollet: applikationsnycklarna som erbjuds till tillämpningar på högre nivå erhålls från en huvudnyckel, som i sin tur härleds genom interaktion från en förmasternyckel. Vårt första bidrag består av formella modeller som klargör säkerhetsnivån för var och en av dessa typer av nycklar. De modeller som vi tillhandahåller faller under väletablerade paradigmer när det gäller att definiera utförande och säkerhetsbegrepp. Vi fångar den realistiska inställningen där endast en av de två parter som deltar i genomförandet av protokollet (nämligen servern) har en certifierad offentlig nyckel, och där samma huvudnyckel används för att generera flera programnycklar. Dokumentets huvudsakliga bidrag är ett modulärt och generiskt säkerhetsbevis för de tillämpningsnycklar som fastställs genom TLS-protokollet. Vi visar att den omvandling som används av TLS för att härleda huvudnycklar väsentligen omvandlar en godtycklig säker pre-master nyckelavtal protokoll till en säker master-key avtal protokoll. På samma sätt fungerar omvandlingen som används för att härleda applikationsnycklar när den tillämpas på ett godtyckligt säkert master-key avtal protokoll. Dessa resultat är i den slumpmässiga orakelmodellen. Säkerheten i det övergripande protokollet följer sedan av säkerhetsbevis för de grundläggande pre-master nyckelgeneration protokoll som används av TLS.
Morrissey, Smart, och Warinschi REF analyserade säkerheten i Transport Layer Security (TLS) protokollet i samband med enkelriktad autentisering, men med specialiserade säkerhetsdefinitioner.
A Modular Security Analysis of the TLS Handshake Protocol
{'venue': 'Advances in Cryptology — Asiacrypt 2008, Volume 5350 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}