@phdthesis{Jan06,
title = {Liens entre mod\`eles symboliques et computationnels pour les protocoles cryptographiques utilisant des hachages },
author = {Janvier, Romain},
month = {7},
year = {2006},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {DCS},
}
