Études

Détails et horaire du cours

Légende

  Cours de jour
  Cours de soir
  Cours en ligne
Certificats et microprogrammes de 1er cycle
Baccalauréat (formation d'ingénieur)
Études supérieures

LOG6605

Méthodes formelles sécurité de l'information

Nombre de crédits : 3 (3 - 1.5 - 4.5) Les chiffres indiqués entre parenthèses sous le sigle du cours, par exemple (3 - 2 - 4), constituent le triplet horaire.

Le premier chiffre est le nombre d'heures de cours théorique par semaine (les périodes de cours durent 50 minutes).
Le second chiffre est le nombre d'heures de travaux dirigés (exercices) ou laboratoire, par semaine.
(Note : certains cours ont un triplet (3 - 1.5 - 4.5). Dans ce cas, les 1,5 heure par semaine sont des laboratoires qui durent 3 heures mais qui ont lieu toutes les deux semaines. À Polytechnique, on parle alors de laboratoires bi-hebdomadaires).
Le troisième chiffre est un nombre d'heures estimé que l'étudiant doit investir de façon personnelle par semaine pour réussir son cours.
Département : Génies informatique, logiciel
Préalable(s) :
Corequis :
Notes :
Responsable(s) : John Mullins
Description
Contrôle d'accès : mécanismes, modèles (définition, spécification et vérification), limitations. Contrôle de flux d'information : mesures, spécification et analyse de flux dans un programme séquentiel. Non-interférence (spécification, analyse et limitations), généralisations de la non-interférence aux systèmes distribués (spécification, classification et analyse). Sécurité des systèmes ouverts : spécification des propriétés de sécurité, modèles d'attaques, diverses méthodes d'analyse automatisée et leurs limitations.

Plan triennal

2018-2019 2019-2020 2020-2021
Automne Hiver Été Automne Hiver Été Automne Hiver Été
- Cours de soir - - Cours de soir - - Cours de soir -