C'est assez désolant

" Je viens de voir ton blog. Au sujet du vote électronique, J. Paul Gibson a fait
un exposé le troisième jour sur ce sujet. Il est irlandais et a étudié les votes
électroniques irlandais, puis, beaucoup de systèmes de votes un peu partout.
C'est assez désolant, car il y a beaucoup d'erreurs et on ne peut rien vérifier
après coup. Même les standards ne sont pas bien définis, avec des
recommandations qui ne peuvent pas s'implémenter. "

m'écrit un participant à la conférence B 2007.


B est une "méthode" de spécification formelle
de logiciels que nous enseignons.

Voici des références de papiers de J. Paul Gibson relatifs au e-voting :

 A Critical Analysis of the Council of Europe Recommendations
on E-voting Standards, Margaret McGaley and  Gibson, J. Paul,
published in the proceedings of the
2006 USENIX/ACCURATE Electronic Voting Technology Workshop
(EVT'06), Vancouver, Canada, July 31st -
August 4th 2006.

E-voting: a safety critical system,
Margaret McGaley and Gibson, J. Paul,
 Technical Report: NUI Maynooth, Computing Science Department, NUIM-CS-TR2003-02,
2003.

• Final PDF(45k)
• CiteSeer citation

Refinement: a constructive approach to formal software design for
a secure e-voting interface, Dominique Cansell,
 Gibson, J. Paul, and Dominique Méry.
Accepted by the  1st International Workshop on
Formal Methods for Interactive Systems
(FMIS 2006), Macau SAR China, 31st October 2006.
For publication in the  ENTCS.