Méthodes formelles pour l’étude des protocoles de sécurité. Spécification des propriétés souhaitées et vérification.
CONTENU DÉTAILLÉ DE L’ENSEIGNEMENT :
- Utilisation de la logique LTL pour la spécification et la vérification des protocoles de sécurité.
- Fonctionnement et gestion de SELinux.