%0 Journal Article
%A Berrima, Mouhebeddine
%A Ben Rajeb, Narjes
%A Cortier, Véronique
%T Deciding knowledge in security protocols under some e-voting theories
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2011
%P 269-299
%V 45
%N 3
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2011119/
%R 10.1051/ita/2011119
%G en
%F ITA_2011__45_3_269_0