Home Up Question ?

  INF 6103
          

Home
Notes de cours
Nouvelles
Laboratoire

 

Analyse et conception des protocoles de sécurité

Ce cours s'adresse aux étudiants de 2ème et 3ème cycle.

Dans ce cours, nous présenterons les protocoles de sécurité et les méthodes employées dans la conception et l'analyse des ces protocoles. Ce cours couvrira les propriétés de sécurité les plus importantes, telles que l'authentification, la confidentialité, l'intégrité, la disponibilité, l'atomicité, la livraison certifiée, etc. Nous présenterons une taxonomie des attaques de sécurité comme : les attaques de fraîcheur, les attaques de type, les attaques de sessions parallèles et d'autres formes d'attaque. Nous adresserons par la suite les approches utilisées dans la spécification des protocoles de sécurité tels que des langages formels d'usage universel, des langages logiques, les algèbres de processus, etc. Finalement, nous adresserons l'analyse des protocoles cryptographiques avec des outils comme les analyses basées sur les modèles algébrique, sur les modèles logiques, etc.

 

 

Dernière modification : 12 sept. 2006