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é.
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 activité est contributoire dans:
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
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
Plage horaire
-
- Type: Classe virtuelle synchrone
- Dates: Du 31 août 2020 au 11 déc. 2020
- Journée: Mercredi
- Horaire: De 9h30 à 12h20