Deciding knowledge in security protocols under some e-voting theoriesMouhebeddine Berrima, Narjes Ben Rajeb and Véronique CortierRAIRO-Theor. Inf. Appl., 45 3 (2011) 269-299DOI: https://doi.org/10.1051/ita/2011119
