Polytechnique > Programmes > Cours et horaires > Détails et horaire

Répertoire des cours et horaires

Détails et horaire du cours LOG6605

Détails

Titre :Méthodes formelles sécurité de l'information
Nombre de crédits :3
Cycle :Études supérieures
Triplet (h/semaine) :3 - 1.5 - 4.5
Offert par :Génies informatique, logiciel
Responsable(s) :John Mullins
Préalable(s) :
Corequis :
Documentation :
Note(s) :
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.

Horaire

Cours

GroupeJourHeureLocalEnseignant(e)
01Mardi 18h00, 19h00, 20h00 M-2101  Mullins, John

Travaux pratiques

GroupeJourHeureLocalEnseignant(e)
01Mercredi 18h00, 19h00, 20h00 (B1) L-4712  Mullins, John

Le groupe de travaux pratiques doit correspondre au groupe de cours

Plan triennal

2017 - 20182018 - 20192019 - 2020
AutomneHiverÉtéAutomneHiverÉtéAutomneHiverÉté
-Soir--Soir--Soir-

Données en format XML

© École Polytechnique de Montréal
Bottin | Plan du site | Recherche | Conditions