Diffie-Hellman based key exchange

Abstract

Vi presenterer formaliserte sikkerhetsbevis av flere nøkkelutvekslingsprotokoller som kombinerer ulike definisjonelle tilnærminger og resultater for å definere sikkerhet og andre analytiske fordeler for nøkkelutveksling. Resultatene anvendes til å forklare og analysere autentiserte nøkkelutvekslingsprotokoller ved bruk av Bellare og Rogaway modellen og standard Diffie-Hellman kommunikasjon. Definisjonen fører med seg et enkelt bevis for sikkerhet: man kan designe og bevise sikkerhet for nøkkelutvekslingsprotkoller hvor kommunikasjonen er autentisert og sikker mot en aktiv angriper.

We present a formalism for the analysis of key exchange protocols that combines different definitional approaches and results - to define security and other important analytical benefits. The use of the results are applied to explain and analyse authenticated key exchange protocols with the use of the Bellare and Rogaway model and standard Diffie-Hellman communication. The definition allows for a simple proof of security: one can design and prove security of key exchange protocols where the communication are authenticated and secure against an active adversary.