Description

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é.

Consulter la description officielle du cours sur ulaval.ca

Responsables

Faculté : Sciences et génie
Courriel : fsg@fsg.ulaval.ca

Département : Département d'informatique et de génie logiciel
Courriel : info@ift.ulaval.ca

3

Crédits

2e et
3e cycles

Horaire

En savoir plus sur les formules d'enseignement

Automne 2024

IFT-7010-Z3 NRC 85888

Enseignant(e)s: Mohamed Mejri