Module SE : Modèles et analyses de protocoles de sécurité : application d'outils fondamentaux de l'informatique

Module SE : Modèles et analyses de protocoles de sécurité : application d'outils fondamentaux de l'informatique

Equipe pédagogique :

Yassine Lakhnech

Volume :

12h.

Spécialité :

S&L

N.B. Ce module est commun aux parcours SAP et VSC.

Introduction : Les débuts de la cryptographie moderne datent de moins de 20 ans. Elle permet la conception et la mise en oeuvre de protocoles de sécurité dont le but n'est plus seulement de permettre la transmission de messages secrets mais aussi de fournir d'autres services, comme des procédés de signature, d'authentification de données, ou d'identification. Ces protocoles sont largement utilisés pour assurer la sécurité des transactions bancaires, des communications, des données informatiques. Ils sont en développement rapide, que ce soit par la mise au point de nouveaux protocoles ou par des résultats plus théoriques permettant d'analyser la sécurité des protocoles existants.

L'objectif de ce cours est de présenter un ensemble d'outils informatiques fondamentaux (Termes et Automates d'arbres, Contraintes ensemblistes, Réécriture, Systèmes formels..) à travers l'étude des modèles et méthodes d'analyse des protocoles de sécurité.

Programme :

• Contexte, motivation, exemples
• Modélisation de l'intrus : Systèmes de déduction locales.
• Modèles de protocoles de sécurité - Définition de la confidentialité
• Recherche d'attaques par model-checking
• Vérification des protocoles non-bornés par abstractions basées sur les automates d'arbres
• Vérification des protocoles non-bornés par résolution
• Modélisation des protocoles de sécurité par des contraintes ensemblistes

Module SE : Modèles et analyses de protocoles de sécurité : application d'outils fondamentaux de l'informatique