Méthodes formelles, sécurité, spécification et vérification de propriétés de sécurité.
Description
Ce cours vise l'étude de méthodes formelles modernes utilisées pour la spécification et la vérification de systèmes en général et des protocoles de sécurité en particulier. Nous démontrerons l'importance des protocoles cryptographiques, la subtilité de leur analyse et l'utilisation de méthodes formelles de spécification et de vérification (CCS/CSP, logique temporelle, «model-checking», etc.) comme solution incontournable pour assurer les objectifs de sécurité.