Sammanfattning Även om de inte lider av tydliga attacker, olika viktiga avtal protokoll (till exempel som används inom TLS-protokollet) anses vara osäkra av befintliga säkerhetsmodeller för nyckelutbyte. Anledningen är att de härledda tangenterna används inom nyckelutbytessteget, vilket bryter mot det vanliga nyckel-oskiljbarhetskravet. I detta dokument föreslår vi en ny säkerhetsdefinition för viktiga utbytesprotokoll som ger två viktiga fördelar. Vår uppfattning är svagare än de mer etablerade och möjliggör därmed analys av en större klass av protokoll. Dessutom har säkerheten i den mening som vi definierar ganska allmänna kompatibilitetsegenskaper. Dessutom är våra kompatibilitetsegenskaper härledda inom spelbaserade formalismer och tilltalar inte något simuleringsbaserat paradigm. Specifikt visar vi att för protokoll, vars säkerhet uteslutande är beroende av någon underliggande symmetrisk primitiv, kan vara säkert sammansatt med nyckel utbyte protokoll förutsatt att två huvudkrav innehar: 1) Ingen motståndare kan bryta den underliggande primitiva, även när de primitiva använder nycklar som erhållits från avrättningar av nyckel utbyte protokoll i närvaro av motståndaren (detta är i huvudsak säkerhetskravet som vi inför och formaliserar i detta papper), och 2) säkerheten i protokollet kan reduceras till den primitiva, oavsett hur nycklarna till primitiva distribueras. Bevisa att de två villkoren är uppfyllda, och sedan tillämpa våra generiska teorem bör vara enklare än att utföra en monolitisk analys av det sammansatta protokollet. Vi exemplifierar våra resultat i fallet med en profil av TLS-protokollet.
(Vi beskriver jämförelsen i avsnitt 5.4.) Brzuska m.fl. REF bevisar en kompositionsteorem som gör det möjligt för nyckelutbytesprotokollet att redan använda nyckeln som tillhandahålls till symmetriskt nyckelprotokoll, till exempel för nyckelbekräftelse.
Less is more: relaxed yet composable security notions for key exchange
{'venue': 'International Journal of Information Security', 'journal': 'International Journal of Information Security', 'mag_field_of_study': ['Computer Science']}