National thesis
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants
Université Ibn Khaldoun
Defence date: 29-06-2012
Supervisor
RAFAI Samira