Key Exchange: Security Models and Automatic Analysis
Seminar Room 1, Newton Institute
AbstractDuring the last 20 years many game-based security models have been proposed for the analysis of Key Exchange protocols. The intent of these models is to prove Key Exchange protocols secure in the presence of increasingly powerful adversaries. In this talk, we present the main ingredients of these models, and relate them to practical threat models. We highlight both benefits and drawbacks of the way in which these security models are currently defined. Additionally, we present to what extent we can currently provide automatic analysis for Key Exchange protocols. We show how we use automatic analysis for evaluating existing security models as well as for developing alternative security models.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.