Détails et horaire du cours INF6605

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) :	Mullins, John
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

2013 - 2014			2014 - 2015			2015 - 2016
Automne	Hiver	Été	Automne	Hiver	Été	Automne	Hiver	Été
-	-	-	-	Soir	-	-	Soir	-