Deciding knowledge in security protocols under some e-voting theories Mouhebeddine Berrima, Narjes Ben Rajeb and Véronique Cortier RAIRO-Theor. Inf. Appl., 45 3 (2011) 269-299 Published online: 26 August 2011 DOI: 10.1051/ita/2011119