Séminaire - Sécurité
Séminaire "Sécurité & méthodes formelles"
- Date : 3/12/2010
- Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier
- Intervenants : Yassine Lakhnech, Université de Grenoble, CNRS/VERIMAG
Le sujet de cette nouvelle édition : "Innocuity of Corruption for Key-Exchange Protocols"
Ce séminaire est ouvert à tous.
Inscription auprès de Lydie Mabil.
Mots-clés : Inria Rennes - Bretagne Atlantique Sécurité Séminaire Méthodes formelles
Inria
Inria.fr
Inria Channel
