Thèse nationale
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
Vérification de propriétés d'indistinguabilité pour les protocoles cryptographiques
Université Ibn Khaldoun
Date de soutenance: 29-03-2013
Encadrant
HITRANE Mohammed