Objectifs
Permettre à l'étudiant d'avoir une bonne maîtrise des concepts, des langages, des méthodes modernes et des outils utilisés dans l'analyse et la spécification des protocoles de sécurité.
Contenu
Cryptographie. Protocoles de sécurité. Rôle des protocoles de sécurité dans les systèmes de communication et les systèmes distribués. Présentation de quelques protocoles existants. Propriétés de sécurité : confidentialité, authentification, anonymat, atomicité, non-répudiation, etc. Taxonomie des failles de sécurité. Langages formels pour la spécification des protocoles de sécurité CCS/CSP, SPI, BAN, SPC, etc. Techniques formelles de vérification et preuves de correction des protocoles de sécurité.