Cryptographie et sécurité


8 semaines (évaluation comprise); début des cours le 13 septembre 2023.

Résumé

Ce cours illustre 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, on décrit comment les combiner pour assurer les principaux services de sécurité : la confidentialité, l’intégrité et l’authentification. Nous étayons notre propos au moyen de quelques protocoles sécurisés parmi les plus courants : Kerberos, SSL, WEP, WPA et nous en étudions à la fois la construction et les limites. Nous nous attachons autant à l’aspect formel de certaines attaques sur ces protocoles qu’aux aspects pratiques. Nous tentons d’introduire également la notion de sécurité prouvée qui permet de garantir formellement la sécurité. Cette notion sera reprise et approfondie dans le cours «preuves de cryptographie».

Objectifs

Construire, valider et utiliser des chiffres pour réaliser des protocoles sécurisés.

Contenu

Prérequis

Contrôle des connaissances

Examen précédent

Bibliographie

  1. J. Katz et Y. Lindell, Introduction to modern cryptograhy, Chapman & Hall/ CRC Press, 2007.
  2. B. Martin, Codage, cryptologie et applications, Presses Polytechniques et Universitaires Romandes, 2004.
  3. R. Panko, Sécurité des systèmes d’information et des réseaux, Pearson Education, 2004.
  4. V. Shoup, Sequences of games: a tool for taming complexity in security proofs, manuscript, 2006.
  5. W. Stallings, Cryptography and network security, Pearson International, 2006.
  6. J.F. Kurose and K. W. Ross, Computer networking, Pearson International, 2005.
  7. W. Trappe, L. Washington, Introduction to cryptography with coding theory, Pearson International, 2006.
  8. A. Canteau et F. Lévy-dit-Véhel, La cryptologie moderne, revue l’armement.
  9. B. Jeunhomme, IPsec
  10. S. Vaudenay, La fracture cryptographique
  11. D. Wong, Real World Cryptography, Manning, 2022

Ressources électroniques

Coordonnées

Recherche:
Laboratoire I3S,
CNRS-UMR 7271, BP 121,
2000 route des lucioles,
06903 Sophia Antipolis cedex
tel: 04 89 15 43 58
[Plan d'accès]

Enseignement:
U.P. informatique,
Parc Valrose,
06108 Nice cedex 2
tel: 04 89 15 04 20
[Plan d'accès]

CNRS

GPG key