Elles sont garanties par le système de vote traditionnel, tant qu'aucun vice de forme n'a lieu.
Mais bon, c'est toujours comme ça avec les propriétés formelles : on démontre qu'elles sont vraies dans une certaine modélisation idéale de la réalité. Tant que la réalité n'a pas moyen de s'écarter significativement de cet idéal, cela suffit.
Ainsi ces propriétés tiennent globalement en France, sauf cas pathologiques, mais sans doute moins en RdC ! (enfin on verra ce qu'on racontera au journal !)
[^] # Re: Article d'Agoravox
Posté par Aldoo . En réponse au journal Pour un vote électronique fiable. Évalué à 2.
Mais bon, c'est toujours comme ça avec les propriétés formelles : on démontre qu'elles sont vraies dans une certaine modélisation idéale de la réalité. Tant que la réalité n'a pas moyen de s'écarter significativement de cet idéal, cela suffit.
Ainsi ces propriétés tiennent globalement en France, sauf cas pathologiques, mais sans doute moins en RdC ! (enfin on verra ce qu'on racontera au journal !)