IFT-7010 Sécurité et méthodes formelles
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é.
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