Théories sous-jacentes à la vérification de protocoles cryptographiques.
老虎机游戏
La sécurité informatique est un des domaines en plein expansion. Il est important de bien comprendre comment les enjeux liés à la sécurité informatique. Ce cours vise à présenter les principaux aspects formels de la sécurité informatique. Après une introduction du contexte lié à la sécurité informatique, nous aborderons les protocoles de communications basés sur la cryptographie. Ces protocoles sont à la base de la sécurité moderne et reposent sur des bases mathématiques solides. Ensuite nous verrons comment sécuriser un protocole à l’aide d’outils de vérification formelle de protocoles cryptographiques.
Les étudiants présentent en classe en groupe un exposé basé sur la lecture d’articles scientifiques.
Ce site utilise Google Analytics. En appuyant sur le bouton "j'accepte" ou en continuant à naviguer sur le site, vous nous autorisez à déposer des cookies à des fins de mesure d'audience.
Vous avez donné votre consentement pour le dép?t de cookies de mesures d'audience dans votre navigateur.
Vous vous êtes opposé au dép?t de cookies de mesures d'audience dans votre navigateur.
Le paramètre "Do Not Track" est actif sur votre navigateur. Vous ne pouvez pas autoriser la collecte de statistiques.