ECTS
10 crédits
Composante
ENSEIRB-MATMECA
Code interne
EI8A
Liste des enseignements
Cryptologie
Calculabilité et complexité
Intelligence artificielle
Systèmes d'exploitation
Applications TCP/IP
Cryptologie
Composante
ENSEIRB-MATMECA
Après quelques rudiments en Théorie des Nombres et en Théorie de la Complexité, ce cours d'initiation présente une grande variété de protocoles et étudie la sécurité de certains d'entre eux.
Plan
Introduction aux protocoles - Introduction - Cryptosystèmes à clefs secrètes
Sécurité des protocoles - De la difficulté en Théorie de la Complexité - Systèmes à clefs publiques - Quelques problèmes arithmétiques faciles - Quelques problèmes arithmétiques difficiles
Exemples de protocoles - Protocole de mise en gage - Signature et authentification - Preuve à divulgation nulle - Paiement et vote électronique
Perspectives - Cryptologie quantique
Calculabilité et complexité
Composante
ENSEIRB-MATMECA
Ce module présente les notions principales de calculabilité et de complexité.
Plan
Notions de calculabilité
Définition formelle : mots, language, problème
Machine de Turing, MT Universelle
Existence de fonctions non calculables
Exemples de problèmes indécidables
Principe de réduction
Classes de complexité
Exemples de problèmes NP-complet
Intelligence artificielle
Composante
ENSEIRB-MATMECA
Le but de ce cours est de comprendre les opportunités et limites des approchesde résolution de problèmes basées sur l'un des grands domaines de l'IA (Recherche, Raisonnement, Apprentissage).
Systèmes d'exploitation
Composante
ENSEIRB-MATMECA
Les systèmes d'exploitation sont la couche logicielle la plus basse qui se place entre le matériel et toutes les applications. Ils sont donc un élément de choix pour l'étude de concepts fondamentaux comme l'exécution asynchrone ou la gestion de mémoire virtuelle avec les problèmes que cela pose et les nouvelles portes que cela ouvre. Le cours s'attache à dégager les points importants qui interviennent dans la conception de tels systèmes, en les illustrant chaque fois que cela est possible par des extraits de code source d'un noyau UNIX.
Plan
Introduction
Concepts généraux
Processus et exécution
Gestion mémoire
Concurrence et synchronisation
Gestion du temps
Système de fichiers
Entrées-sorties
Virtualisation
Applications TCP/IP
Composante
ENSEIRB-MATMECA
Mise en place du modèle TCP/IP avec illustration et utilisation d'applications TCP/IP
Plan
Applications TCP/IP
Mise en place des applications TCP/IP
Implémentation d'un exemple d'application TCP ou UDP : programmation socket simple en C ou Java par exemple
Exemples d'application TCP/IP
Présentation de quelques applications TCP/IP : le système DNS, le protocole SMTP et POP
telenet et netcat sur serveur
mise en place de nslookup et dig
les enregistrements DNS : A, AAAA, MX, SOA, DNS over HTTP (DoH)
Le routage
Le routage de l'information dans les réseaux
notion d'arbre collecteur
plus court chemin dans un graphe
routage par inondation
routage fondé sur les flux
routage à vecteur et distance ...
Exercice sur le calcul de la table de routage.
illustration de RIP, OSPF, BGP