Abstrakt. En runda autentiserat nyckelutbyte (ORKE) är ett etablerat forskningsområde, med många framträdande protokollkonstruktioner som HMQV (Krawczyk, CRYPTO 2005) och Naxos (La Macchia et al., ProvSec 2007), och många något olika, starka säkerhetsmodeller. De flesta konstruktioner kombinerar efemerala och statiska Diffie-Hellman Key Exchange (DHKE), på ett sätt som ofta är nära knutet till den underliggande säkerhetsmodellen. Vi ger en allmän konstruktion av ORIKE protokoll från allmänna antaganden, med säkerhet i standardmodellen, och i en stark säkerhetsmodell där angriparen till och med får lära sig slumpmässighet eller långsiktig hemlighet av någon av parterna i målsessionen. Den enda begränsningen är att angriparen inte får lära sig både slumpmässigheten och den långsiktiga hemligheten hos en part i målsessionen, eftersom detta skulle göra det möjligt för honom att komma över alla interna tillstånd i detta parti, inklusive sessionsnyckeln. Detta är den första sådana konstruktion som inte förlitar sig på slumpmässiga orakel. Konstruktionen är intuitiv, relativt enkel och effektiv. Den använder bara vanliga primitiver, nämligen icke-interaktiv nyckelutbyte, en digital signatursystem, och en pseudorandom funktion, med standard säkerhetsegenskaper, som byggstenar.
Vi anpassar konstruktionen av Bergsma et al. REF. till fastställande av läckage.
One-Round Key Exchange with Strong Security: An Efficient and Generic Construction in the Standard Model
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}