Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study.

Mehdi Talbi Benjamin Morin Valérie Viet Triem Tong Adel Bouhoula Mohamed Mejri Specification of Electronic Voting Protocol Properties Using ADM Logic: FOO Case Study. 403-418 2008 ICICS http://dx.doi.org/10.1007/978-3-540-88625-9_27 conf/icics/2008 db/conf/icics/icics2008.html#TalbiMTBM08