Thèse nationale
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants
Université Ibn Khaldoun
Date de soutenance: 29-06-2012
Encadrant
RAFAI Samira