TY - THES DP - http://www.theses.fr/2011DENS0059 TI - Verification and composition of security protocols with applications to electronic voting AU - Ciobâcǎ (Ciobâcǎ), Ştefan A3 - Cortier, VéroniqueGoubault-Larrecq, Jean; Kremer, Steve PY - 2011 N1 - Thèse de doctorat Informatique Cachan, Ecole normale supérieure 2011 N1 - 2011DENS0059 UR - http://www.theses.fr/2011DENS0059/document ER -