Sécurité formelle

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é.