/
Français
English
Présentation générale de la librairie de calcul symbolique de Python
UE Cryptographie et calcul symbolique
ECUE's code : SLUIN505
PORTAIL SCIENCES ET TECHNOLOGIES
Informatique
Campus Valrose
Licence 3
Semestre impair
Français
PRESENTATION
Le cours commence par une introduction au calcul symbolique, se poursuit par une brève présentation de la théorie de l'information qui débouche sur les notions de codage et de compression. Après un court historique, on aborde la cryptographie moderne qui consiste principalement à rendre secret ou à signer des messages.
Les méthodes de chiffrement à clef secrète et à clef publique, les protocoles d'échanges de clefs, les signatures digitales ainsi que les fonctions de hachage cryptographiques sont présentés. Autant d'outils visant à implémenter les services de confidentialité, identification, authentification, intégrité des données et certification.
On s'attache à recenser les usages au quotidien de la cryptographie (connexion à un système informatique, messagerie sécurisée, commerce électronique etc.). Une évocation des techniques sophistiquées ainsi que des défis à venir de la cryptographie (quantique) concluent ce cours.
En TP, la mise en œuvre des algorithmes étudiés se fait au moyen des bibliothèques Python (numpy, sympy, matplotlib) ainsi que de la boîte-à-outils cryptographique OpenSSL.
Course's manager(s)
Sandrine Julia , Bruno Martin
In class
- 18h of lectures
- 12h of directed studies
- 24h of practical work
PREREQUISITES
Before the start of the course, I must ...
-
Connaître les mathématiques discrètes, un peu d'algèbre et savoir programmer en Python. Avoir suivi le cours OFI.
OBJECTIVES
By the end of this course, I should be able to...
- Utiliser les fonctionnalités cryptographiques des applications à bon escient grâce à la compréhension des notions de confidentialité, d'intégrité et d'authentification.
- Utiliser les librairies OpenSSL et SymPy.
CONTENT
-
Introduction à Sympy
-
Introduction à la théorie de l'information
Quantité d'information, entropie et codage
-
Codes de source - codes de Huffman
Codages entropiques d'une source quelconque en binaire
-
Compression de texte
Méthodes de compression avec ou sans connaissance statistique préalable
-
Codes correcteurs - codes linéaires
L'essentiel sur les codes correcteurs d'erreurs les plus simples avec l'emblématique code de Hamming
-
Cryptographie symétrique
Les algorithmes de chiffrement de la cryptographie à clef secrète
-
Cryptographie asymétrique
Les algorithmes de chiffrement de la cryptographie à clef publique
-
La boîte à outils OpenSSL
Présentation des bases de la bibliothèque cryptographique
-
Fonctions de hachage cryptographiques
Calcul d'empreintes et collisions
-
Signatures digitales
Les algorithmes de signatures numériques
-
Certificats, échange de clefs, protocoles sécurisés
Les chaînes de certification et les infrastructures d'échange de clefs
-
La cryptographie (d'aujourd'hui et) de demain
No description
Access to complete Syllabus (Authentification required)
Important
This syllabus has no contractual value. Its content is subject to change throughout this year: be aware to the last updates