Aller au contenu principal

IFT-7010 Sécurité et méthodes formelles

Ce cours vise l'étude de méthodes formelles modernes utilisées pour la spécification et la vérification de systèmes en général et des protocoles de sécurité en particulier. Nous démontrerons l'importance des protocoles cryptographiques, la subtilité de leur analyse et l'utilisation de méthodes formelles de spécification et de vérification (CCS/CSP, logique temporelle, « model-checking », etc.) comme solution incontournable pour assurer les objectifs de sécurité.

  • 3 Crédits

  • Cycles du cours

    • Deuxième cycle
    • Troisième cycle
  • Modes d'enseignement

    • Régulier
  • À l'horaire

    • Automne 2024
  • Cours pouvant être offert à distance

Responsables

  • Faculté des sciences et de génie
  • Département d'informatique et de génie logiciel

Restrictions à l'inscription

Cycle d'études

Doit être inscrit à:

  • Deuxième cycle
  • Troisième cycle

Certaines sections de cours peuvent comporter des restrictions additionnelles.

Cette page constitue la description officielle de cette activité. L'Université Laval se réserve le droit de modifier l'activité sans préavis. Tous les horaires indiqués sont sujets à changement.

Répartition hebdomadaire

  • 3h Cours
  • 0h Laboratoire ou travaux pratiques
  • 6h Travail personnel
  • 9h Total

Horaire

Pour vous inscrire, accédez à monPortail.

Automne 2024 – 1 section offerte

NRC 85888 Capacité maximale: 25 étudiants Enseignant: Mohamed Mejri

Ce cours est offert à distance en mode synchrone, en direct, selon l’horaire indiqué. Les enregistrements des séances seront rendus disponibles sur le site Web du cours. Les étudiants inscrits à cette section recevront un courriel à leur adresse « ulaval.ca » mentionnant la procédure à suivre pour leur permettre de suivre le cours en direct sur internet ou d’écouter les enregistrements des cours précédents. NOTE IMPORTANTE : Pour chaque cours donné à distance, veuillez vous assurer qu’il n’existe aucun conflit d’horaire entre vos examens. Aucun accommodement ne sera accordé en cas de conflit d’horaire.

Plage horaire

    • Type: Classe virtuelle synchrone
    • Dates: Du 3 sept. 2024 au 13 déc. 2024
    • Journée: Mercredi
    • Horaire: De 13h30 à 16h20

Restrictions à l'inscription

Cycle d'études

Doit être inscrit à:

  • Deuxième cycle
  • Troisième cycle

Automne 2021 – 1 section offerte

NRC 86166 Capacité maximale: 20 étudiants

Plage horaire

    • Type: Classe virtuelle synchrone
    • Dates: Du 30 août 2021 au 10 déc. 2021
    • Journée: Mercredi
    • Horaire: De 9h30 à 12h20

Automne 2020 – 1 section offerte

NRC 85999 Capacité maximale: 20 étudiants

Ce cours est offert à distance en mode synchrone, en direct, selon l’horaire indiqué. Les enregistrements des séances seront rendus disponibles sur le site Web du cours.En fonction des directives de la santé publique, veuillez prendre note que si des examens sous surveillance peuvent être réalisés, ceux-ci ont lieu en soirée ou la fin de semaine et peuvent donc se dérouler à un autre moment que la plage prévue pour les séances synchrones. Plus de détails seront fournis ultérieurement.NOTE IMPORTANTE : Veuillez vous assurer, pour chaque cours donné à distance, qu’il n’existe aucun conflit d’horaire entre vos examens, aucun accommodement ne sera accordé en cas de conflit d’horaire.

Plage horaire

    • Type: Classe virtuelle synchrone
    • Dates: Du 31 août 2020 au 11 déc. 2020
    • Journée: Mercredi
    • Horaire: De 9h30 à 12h20