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.

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