Université Lyon 1
Arqus
Accueil  >>  Ingénierie des protocoles de communication
  • Unité d'enseignement : Ingénierie des protocoles de communication
Nombre de crédits de l'UE : 2
Code APOGEE : PL8021IF
    Responsabilité de l'UE :
PIERRON THEO
 theo.pierronuniv-lyon1.fr
    Type d'enseignement
Nb heures *
Cours Magistraux (CM)
3 h
Travaux Dirigés (TD)
6 h
Travaux Pratiques (TP)
18 h
Durée de projet en autonomie (PRJ)
h
Durée du stage
h
Effectif Cours magistraux (CM)
0 étudiants
Effectif Travaux dirigés (TD)
0 étudiants
Effectif Travaux pratiques (TP)
0 étudiants
Activité tuteurée personnelle (étudiant)
0 h
Activité tuteurée encadrée (enseignant)
0 h
Heures de Tutorat étudiant
0 h

* Ces horaires sont donnés à titre indicatif.

    Pré-requis :
Utilisation des sockets java, fonctionnement des protocoles TCP/UDP, architecture Client-Serveur. Bases de mathématiques discrètes (arithmétique modulaire).
    Compétences attestées (transversales, spécifiques) :
  • Maîtriser les protocoles avancés tels que HTTP, FTP, et les protocoles de messagerie.
  • Comprendre les principes de base de la cryptographie appliquée aux réseaux.
  • Acquérir des compétences dans la modélisation et la vérification de protocoles à l'aide des réseaux de Petri.
    Programme de l'UE / Thématiques abordées :

Description : Cette Unité d'Enseignement en Réseaux Avancés se penche sur les aspects avancés des réseaux informatiques, en mettant l'accent sur l'analyse et la mise en œuvre de protocoles classiques tels que HTTP, FTP, et les protocoles de messagerie. Le cours intègre des concepts de cryptographie et utilise les réseaux de Petri pour la modélisation et la vérification de protocoles de communication complexes.

Contenu du cours :

  1. Protocoles Classiques :

    • HTTP : Fonctionnement, méthodes, et état de session
    • FTP : Modes de transfert, commandes, et sécurité
    • Protocoles de messagerie (SMTP, POP, IMAP) : Routage, stockage, et sécurité

  2. Cryptographie dans les Réseaux :

    • Principes de base de la cryptographie
    • Fonctionnement des systèmes classiques symétriques et asymétriques

  3. Réseaux de Petri :

    • Introduction aux réseaux de Petri
    • Modélisation des protocoles de communication
    • Vérification formelle des propriétés des protocoles
Date de la dernière mise-à-jour : 02/02/2024
SELECT MEN_ID, `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`, `PAR_ID` FROM parcours INNER JOIN ue_parcours ON PAR_ID_FK=PAR_ID INNER JOIN mention ON MEN_ID = PAR_MENTION_FK WHERE PAR_ACTIVATE = 0 AND UE_ID_FK='18549' ORDER BY `MEN_DIP_ABREVIATION`, `MEN_TITLE`, `PAR_TITLE`
ver. 24.03.1