OBJECTIFS :
Méthodes formelles pour l’études 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é.