@phdthesis{Maz06,
title = {Computational Soundness of Symbolic Models for Cryptographic Protocols },
author = {Mazar\'e, Laurent},
month = {10},
year = {2006},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {DCS},
}
