FICHE MODULE SI5 / M2 ISI

TITRE : Cryptographie et sécurité

DUREE  : 8 semaines (évaluation comprise)

RESPONSABLE  : Bruno Martin
QUALITE/CV : Bruno Martin est maître de conférences (habilité) depuis 1994. Il est l'auteur de 24 publications dont 8 articles de revue ainsi que de l'ouvrage «Codage, cryptologie et applications». Il applique des connaissances en cryptographie (théoriques) à la sécurité des réseaux (pratique) depuis près de 10 ans en utilisant des logiciels libres.

RESUME (5 lignes) : Ce cours cherche à illustrer l’utilisation de la cryptographie pour construire des mécanismes de sécurité. Après un bref rappel des chiffres à clé secrète et à clé publique, nous décrirons comment on peut les combiner pour assurer les principaux services de sécurité : la confidentialité ; l’intégrité et l’authentification. Nous illustrerons notre propos au moyen de quelques protocoles sécurisés parmi les plus courants : Kerberos, SSL, WEP, WPA et nous en étudierons à la fois la construction et les limites. Nous nous attacherons autant à l’aspect formel de certaines attaques sur ces protocoles qu’aux aspects pratiques. Nous tenterons d’introduire également la notion de sécurité prouvée qui permet d’analyser formellement le but initial des schémas cryptographiques : la sécurité. Cette branche récente de la cryptologie tente de trouver des conditions suffisantes pour garantir la sécurité. Cette notion sera reprise et approfondie dans le cours «vérification et sécurité» du M2.

OBJECTIFS : Comprendre comment on peut construire et valider des chiffres et des protocoles sécurisés.

CONTENU  : 

  1. Brève introduction à la cryptographie à clé secrète, Cours, B. Martin, 3h
  2. Cryptologie à clé publique et sécurité prouvée, Cours, B. Martin, 3h
  3. Séance de TD, B. Martin, 3h
  4. Introduction à la sécurité des réseaux et aux protocoles, Cours, B. Martin, 3h
  5. Séance de TD, B. Martin, 3h
  6. Attaques sur les protocoles sécurisés, Cours, B. Martin, 3h
  7. Séance de TD, B. Martin, 3h

PREREQUIS : réseau, mathématiques de niveau L3, systèmes informatiques

BIBLIOGRAPHIE : 

1. B. Martin, Codage, cryptologie et applications, Presses Polytechniques et Universitaires Romandes, 2004.
2. R. Panko, Sécurité des systèmes d’information et des réseaux, Pearson Education, 2004.
3. V. Shoup, Sequences of games: a tool for taming complexity in security proofs, manuscript, 2006.
4. W. Stallings, Cryptography and network security, Pearson International, 2006.
5. A. Tannenbaum, Réseaux, Pearson Education, 2004.
6. W. Trappe, L. Washington, Introduction to cryptography with coding theory, Pearson International, 2006. 

SUPPORT de COURS :

 

Site Web du Cours

Polycopié du cours

Copie des transparents

Support de cours

 oui

 

 oui

 

MODE D’EVALUATION :


 

Présentation Orale

Ecrit en temps limtié

Livraison sur Site Web

Production Logicielle

 

 

 

Rédaction d’un mémoire

 

 

 

Examen

 

 X

 


AUTRES INFORMATIONS :

Pour les quatre parcours suivants, quel est, selon vous, l’intérêt de votre module ?

PARCOURS

Sans intérêt

Peu d’intérêt

Beaucoup d’intérêt

Indispensable

SSR : Système, Sécurité et Réseaux

 

 

 X

 

CID : Connaissance, Information, Décision

 X

 

 

 

IAM : Informatique Ambiante et Mobile

 

 

 X

 
VIM : Vision, Image et Multimédia    X    
Ambiant Computing, Grid Computing and Network Computing      X  
Business Management and Information technology    X    
Système d’information  X      
Intéraction homme-machines    X    

Les quatre premiers parcours correspondent à des spécialités habilitées, les quatres suivant correspondent à un affichage interne et à une possibilité de suivre cet ensemble de cours.