Bonjour, Dans le cadre du Colloquium Jacques Morgenstern, Véronique Cortier (LORIA, Laboratoire lorrain de recherche en informatique et ses applications) viendra parler de sécurité, cryptographie et vote électronique.
Conférence en français. Date: jeudi 7 juin de 11h à 12h30 Lieu: Inria Sophia Antipolis Méditerranée, 2004 route des Lucioles, Sophia Antipolis Bâtiment Kahn, Amphithéâtre Morgenstern Abstract: De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent souvent sur le chiffrement des données et plus généralement sur des fonctions cryptographiques. Chiffrer les données sensibles est cependant loin d'être suffisant pour assurer la sécurité des communications. Ainsi, les protocoles cryptographiques peuvent comporter des failles subtiles, qui ne sont révélées que plusieurs années après. Il est donc nécessaire de concevoir des techniques rigoureuses pour analyser la sécurité de systèmes électroniques comme les protocoles. Est-il possible d'aller plus loin et de prouver la sécurité d'un système, quelque soit le comportement d'adversaires malicieux ? Nous verrons dans quels cadres (ou modèles) des preuves de sécurité sont possibles. Nous évoquerons ainsi les modèles symboliques, où les protocoles sont représentés par des objets abstraits (comme la logique du premier ordre) et les modèles cryptographiques, où les messages et les protocoles sont représentés beaucoup plus fidèlement. Les premiers offrent un cadre simplifié, plus accessible à la preuve tandis que les seconds offrent des garanties de sécurité plus fortes. Nous illustrerons nos propos avec un exemple important et controversé: les protocoles de vote électronique. http://www-sop.inria.fr/colloquium/intervenant.php?nom=Cortier%20&prenom=V%E9ronique -- Cyprien / Fulax %%% Merci de respecter ces consignes http://www.linux-azur.org/savoir-vivre %%%
