Sécurité sur Internet ? La logique à la rescousse…

Défi scientifique

Comment s’assurer une fois pour toute de l’absence de failles lors des usages courants d’Internet, grâce à une analyse mathématique et logique de la sécurité des protocoles cryptographiques ?

Résumé

Depuis son ordinateur personnel connecté à Internet, on peut effectuer des achats, déclarer ses impôts en ligne et même voter. Internet étant un réseau ouvert, il est indispensable de protéger les échanges d’informations sensibles contre d’éventuelles actions malhonnêtes.
Nous verrons comment les mathématiques et en particulier la logique permettent d’analyser la sécurité des protocoles cryptographiques. Cet exposé sera illustré de nombreux exemples, du vote électronique au paiement par carte bancaire, en passant par le Sudoku.

Champ applicatif

Des protocoles dits cryptographiques ont pour objectif la sécurisation des échanges sur Internet. Ils s’appuient souvent sur le chiffrement de données mais cela ne suffit pas : des attaques peuvent être menées simplement en intervertissant des messages chiffrés.

Intervenante : Véronique CORTIER

Références

Conférence donnée à Nancy le 17 janvier 2013, dans le cadre des cycles de conférences Sciences et Société

Organisateurs : IUT Nancy-Charlemagne, l’Institut Elie Cartan et la Fédération Charles Hermite, avec le soutien de l’Université de Lorraine, la Région Lorraine, Inria Nancy – Grand-Est et Cap’Maths

Réalisateur : Université de Lorraine

Durée : 1h23m11s

Date : 04/04/2013