Détails et horaire du cours LOG4410

Détails

Titre :	Méthodes formelles en fiabilité et sécurité
Nombre de crédits :	3
Cycle :	Baccalauréat
Triplet (h/semaine) :	3 - 1.5 - 4.5
Offert par :	Génies informatique, logiciel
Responsable(s) :	Mullins, John
Préalable(s) :	LOG2810
Corequis :
Documentation :
Note(s) :
Description :	Outils mathématiques de la fiabilité des systèmes et de sécurité de l'information : structures algébriques, calculabilité, complexité de calcul, cryptographie. Modélisation des systèmes séquentiels, concurrents : réseaux de Petri (places/transitions et colorés), systèmes de transitions communicants. Spécification : logique de Hoare, logique temporelle linéaire, propriétés de sûreté de fonctionnement et de sécurité (confidentialité, authentification, anonymat, non répudiation et équité des échanges électroniques), sécurité des systèmes. Vérification : analyse des réseaux de Petri, model checking, preuves de programmes, preuves de spécifications algébriques. Applications à la sécurité : construction de programmes fiables et sécurisés, analyse des protocoles de sécurité, monitoring des activités malicieuses des systèmes logiciels.

Plan triennal

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