Telecharger Cours

Vérification automatique de protocoles cryptographiques : mod`ele ...

Je tiens tout d'abord `a remercier les membres de mon jury d'habilitation. Jacques Stern m'a fait l'honneur de présider mon jury.



Download