RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

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

Mouhebeddine Berrima

Narjes Ben Rajeb

Véronique Cortier

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)