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
Diplôme(s)
Maîtrise en informatique ou un secteur disciplinaire connexe au cours.
Expérience
Deux (2) ans d'expérience dans un domaine lié au contenu du cours.
Corps professionnel
Aucun
Autre(s) exigence(s)
Dans tous les cas, la candidate, le candidat devra pouvoir démontrer sa capacité à communiquer efficacement oralement et par écrit ainsi qu’à transmettre les connaissances ou les habiletés pertinentes au contenu du cours pour lequel les exigences de qualification pour l’enseignement (EQE) sont adoptées.
CAFF
6403 - Informatique appliquée