Scolarité
Premier cycle - 3,0 crédit(s)
Département
Département d'informatique et d'ingénierie
Objectifs
Au terme de ce cours, l’étudiant.e aura une compréhension de la problématique et des solutions pour la construction et l’évaluation de logiciels fiables dans des environnements possiblement hostiles.
Contenu
Vulnérabilités et faiblesses des logiciels, leur identification et gestion. Principes de conception de logiciels sécuritaires dans un environnement hostile. Attaques et robustesse contre les attaques. Gestion de la mémoire et vérification des limites. Sécurité par conception dans toutes les phases de développement, des besoins au code. Choix et utilisation de composantes fiables, identification et bonification de code faible ou vulnérable. Méthodes formelles, analyse formelle et vérification formelle de propriétés de sécurité. Méthodes de test de propriétés de sécurité. Ce cours comporte des séances obligatoires de travaux pratiques (TP).
Exigences de qualification pour l'enseignement
Corps professionnel
Aucun
Autre(s) exigence(s)
Aucune