"Sleutels uitwisselen - een praktisch voorbeeld van Universal Composability".

Abstract: Het raamwerk van Universal Composability geeft een
mogelijkheid om protocollen op te bouwen uit bouwstenen. Om een
bruikbare bouwsteen voor een protocol te zijn, moet een subprotocol
wel voldoen aan wat eisen. In mijn voordracht zal ik een klassieke
sleuteluitwisseling, de Diffie-Hellman key exchange, analyseren en
bewijzen dat deze in de zin van Universal Composability inderdaad een
realisatie geeft van een ideale sleuteluitwisselingsfunctionaliteit.

Diffie-Hellman is een eenvoudig protocol om een gemeenschappelijke
sleutel te creeëren tussen twee partijen die van tevoren geen
afgesproken geheim hebben. Het is gebaseerd op een computationele
aanname, de zogenaamde Diffie-Hellman assumptie, een sterkere aanname
dan de discrete-logaritmeassumptie. Op dit protocol toegepast zegt
deze aanname dat dit protocol niet door afluisteren te kraken is. Zie
voor meer informatie over Diffie-Hellman ook
http://en.wikipedia.org/wiki/Diffie-Hellman.