Abstrakt. Vi visar att det är möjligt att uppnå perfekt framåtsekretess i två-meddelande eller en-runda nyckel utbyte (KE) protokoll som uppfyller ännu starkare säkerhetsegenskaper än vad som tillhandahålls av den utvidgade CanettiKrawczyk (eCK) säkerhetsmodell. I synnerhet anser vi att perfekt framåt sekretess i närvaro av motståndare som kan avslöja efemära hemliga nycklar och de långsiktiga hemliga nycklar för skådespelaren av en session (liknar Key Compromise Impersonation). Vi föreslår två nya spelbaserade säkerhetsmodeller för KE-protokoll. För det första formaliserar vi en något starkare variant av EKK:s säkerhetsmodell som vi kallar EKK w. För det andra integrerar vi perfekt framåtsekretess i EKK w, vilket ger upphov till den ännu starkare EKK-PFS-modellen. Vi föreslår en säkerhetsstärkande omvandling (dvs. en kompilator) mellan våra nya modeller. Med tanke på en två-meddelande Diffie-Hellman typ protokoll säkra i ECK w, vår omvandling ger en två-meddelande protokoll som är säker i ECK-PFS. Som exempel visar vi hur vår omvandling kan tillämpas på NAXOS-protokollet.
2012 introducerade Cremers och Feltz en variant av den förlängda Canetti-Krawczyk modellen för att fånga perfekt framåt säkerhet REF.
Beyond eCK: Perfect Forward Secrecy under Actor Compromise and Ephemeral-Key Reveal ⋆
{'venue': 'IACR Cryptology ePrint Archive', 'journal': 'IACR Cryptology ePrint Archive', 'mag_field_of_study': ['Computer Science']}