TY  - THES
DP  - 
		http://www.theses.fr/2006BESA2042
TI  - Approximations pour la vérification automatique de protocoles de sécurité
AU  - Boichut, Stéphane
A3  - Kouchnarenko, Olga
PY  - 2006
SP  - 1 vol. (214 p.)
N1  - Thèse de doctorat Informatique Besançon 2006
N1  - 2006BESA2042
ER  -