Catégorie : Intervention » Modalité » Conférence

Intervention
  Conférence . Nancy . Vidéo . . . .

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, []