Abstrakt. Nyligen formulerade Canetti och Krawczyk (Eurocrypt'2001) en uppfattning om säkerhet för nyckelutväxlingsprotokoll (ke) som kallas SKsecurity, och visade att detta begrepp räcker för att bygga säkra kanaler. Deras modell och bevis räcker dock inte för att bevisa mer allmänna kombosability egenskaper hos SK-säkra ke protokoll. Vi visar att även om begreppet SK-säkerhet är strikt svagare än ett fullständigt idealiserat begrepp om viktig valutasäkerhet, är det tillräckligt robust för att ge säker sammansättning med godtyckliga protokoll. I synnerhet, SK-säkerhet garanterar säkerheten för nyckeln för alla program som vill sätta upp hemliga nycklar mellan par av parter. Vi tillhandahåller också nya definitioner av säkra kanaler protokoll med lika starka kompatibilitet egenskaper, och visar att SK-säkerhet räcker för att erhålla dessa definitioner. För att uppnå dessa resultat använder vi det nyligen föreslagna ramverket för "universally composable (UC) security". Vi använder också ett nytt verktyg, kallat "icke-information oracles", som förmodligen kommer att hitta applikationer bortom det aktuella fallet. Dessa verktyg gör att vi kan överbrygga mellan till synes begränsad oskiljbarhet-baserade definitioner såsom SK-säkerhet och mer kraftfulla, simuleringsbaserade definitioner, såsom UC säkerhet, där allmän sammansättning teorem kan bevisas. Dessutom, baserat på sådana kompositionsteorem minskar vi analysen av en fullfjädrad flersessions nyckelutbyte protokoll till (enklare) analys av individuella, fristående, nyckelutbytessessioner.
I uppföljningsarbetet får Canetti och Krawczyk mer generella komposabilitetsegenskaper för SK-säkerhetsbegreppet REF.
Universally Composable Notions of Key Exchange and Secure Channels
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}