Mouhebeddine Berrima Narjes Ben Rajeb Véronique Cortier Deciding knowledge in security protocols under some e-voting theories. 269-299 2011 45 RAIRO - Theor. Inf. and Applic. 3 http://dx.doi.org/10.1051/ita/2011119 db/journals/ita/ita45.html#BerrimaRC11