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

Répertoire des cours et horaires

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

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

Données en format XML

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