@phdthesis{Boz04,
title = {Automatic verification of cryptographic protocols },
author = {Bozga, Liana},
year = {2004},
school = {Universit\'e Joseph Fourier, Grenoble, France},
team = {DCS},
}
